Kazuhisa Makino

According to our database1, Kazuhisa Makino authored at least 193 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A polynomial time algorithm for finding a minimum 4-partition of a submodular function.
Math. Program., September, 2024

Recognizing distributed approval voting forms and correspondences.
Ann. Oper. Res., May, 2024

Matroid Horn functions.
J. Comb. Theory A, April, 2024

Envy-free relaxations for goods, chores, and mixed items.
Theor. Comput. Sci., 2024

Hypergraph Horn Functions.
SIAM J. Discret. Math., 2024

A fair and truthful mechanism with limited subsidy.
Games Econ. Behav., 2024

Generating minimal redundant and maximal irredundant subhypergraphs.
Discret. Appl. Math., 2024

Characterizing the integer points in 2-decomposable polyhedra by closedness under operations.
CoRR, 2024

Arborescences, Colorful Forests, and Popularity.
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

Composition Orderings for Linear Functions and Matrix Multiplication Orderings.
Proceedings of the 35th International Symposium on Algorithms and Computation, 2024

Towards Optimal Subsidy Bounds for Envy-Freeable Allocations.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Ranking Top-$k$ Trees in Tree-Based Phylogenetic Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2023

Trade-offs among degree, diameter, and number of paths.
Discret. Appl. Math., 2023

Computing Remoteness Functions of Moore, Wythoff, and Euclid's games.
CoRR, 2023

A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems.
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023

Perfect Matchings and Popularity in the Many-To-Many Setting.
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022
Unique key Horn functions.
Theor. Comput. Sci., 2022

Finding Sparse Solutions for Packing and Covering Semidefinite Programs.
SIAM J. Optim., 2022

Approximating Minimum Representations of Key Horn Functions.
SIAM J. Comput., 2022

Minimizing submodular functions on diamonds via generalized fractional matroid matchings.
J. Comb. Theory B, 2022

Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem with Ties and Incomplete Lists.
CoRR, 2022

Posimodular Function Optimization.
Algorithmica, 2022

A 3/4 Differential Approximation Algorithm for Traveling Salesman Problem.
Proceedings of the Theory and Applications of Models of Computation, 2022

Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem with Ties.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Online Scheduling on Identical Machines with a Metric State Space.
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas.
Proceedings of the Algorithmic Game Theory - 15th International Symposium, 2022

Fair Ride Allocation on a Line.
Proceedings of the Algorithmic Game Theory - 15th International Symposium, 2022

Reallocation Problems with Minimum Completion Time.
Proceedings of the Computing and Combinatorics - 28th International Conference, 2022

2021
Generating clause sequences of a CNF formula.
Theor. Comput. Sci., 2021

On the Sprague-Grundy function of extensions of proper Nim.
Int. J. Game Theory, 2021

Optimal Matroid Partitioning Problems.
Algorithmica, 2021

2020
Enumerating Vertices of Covering Polyhedra with Totally Unimodular Constraint Matrices.
SIAM J. Discret. Math., 2020

The Steiner Problem for Count Matroids.
Proceedings of the Combinatorial Algorithms - 31st International Workshop, 2020

2019
Proportional cost buyback problem with weight bounds.
Theor. Comput. Sci., 2019

Online knapsack problem under concave functions.
Theor. Comput. Sci., 2019

Sprague-Grundy function of matroids and related hypergraphs.
Theor. Comput. Sci., 2019

Unit Cost Buyback Problem.
Theory Comput. Syst., 2019

Sprague-Grundy function of symmetric hypergraphs.
J. Comb. Theory A, 2019

A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions.
Inf. Comput., 2019

Surrogate optimization for p-norms.
Discret. Optim., 2019

Total dual integrality of the linear complementarity problem.
Ann. Oper. Res., 2019

A Multiplicative Weight Updates Algorithm for Packing and Covering Semi-infinite Linear Programs.
Algorithmica, 2019

Online Knapsack Problems with a Resource Buffer.
Proceedings of the 30th International Symposium on Algorithms and Computation, 2019

Oracle-Based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs.
Proceedings of the 27th Annual European Symposium on Algorithms, 2019

2018
Linear Satisfiability Preserving Assignments.
J. Artif. Intell. Res., 2018

A Potential Reduction Algorithm for Two-Person Zero-Sum Mean Payoff Stochastic Games.
Dyn. Games Appl., 2018

Parameterized Edge Hamiltonicity.
Discret. Appl. Math., 2018

On the Sprague-Grundyfunction of Exact k-Nim.
Discret. Appl. Math., 2018

Finding Sparse Solutions for Packing and Covering Semidefinite Programs.
CoRR, 2018

Optimal Composition Ordering Problems for Piecewise Linear Functions.
Algorithmica, 2018

Approximation Schemes for Stochastic Mean Payoff Games with Perfect Information and Few Random Positions.
Algorithmica, 2018

Enumerating Vertices of 0/1-Polyhedra associated with 0/1-Totally Unimodular Matrices.
Proceedings of the 16th Scandinavian Symposium and Workshops on Algorithm Theory, 2018

Linear Satisfiability Preserving Assignments (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
A convex programming-based algorithm for mean payoff stochastic games with perfect information.
Optim. Lett., 2017

A nested family of \(\varvec{k}\) -total effective rewards for positional games.
Int. J. Game Theory, 2017

On Expressing Majority as a Majority of Majorities.
Electron. Colloquium Comput. Complex., 2017

Parameterized Complexity of Sparse Linear Complementarity Problems.
Algorithmica, 2017

Guest Editors' Foreword.
Algorithmica, 2017

Strong Duality in Horn Minimization.
Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017

Online Knapsack Problem Under Concave Functions.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

2016
Online minimization knapsack problem.
Theor. Comput. Sci., 2016

Sufficient conditions for the existence of Nash equilibria in bimatrix games in terms of forbidden \(2 \times 2\) subgames.
Int. J. Game Theory, 2016

Trichotomy for integer linear systems based on their sign patterns.
Discret. Appl. Math., 2016

A Multiplicative Weights Update Algorithm for Packing and Covering Semi-infinite Linear Programs.
Proceedings of the Approximation and Online Algorithms - 14th International Workshop, 2016

A combinatorial min-max theorem and minimization of pure-Horn functions.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

2015
Randomized algorithms for online knapsack problems.
Theor. Comput. Sci., 2015

Deterministic random walks on finite graphs.
Random Struct. Algorithms, 2015

The Linear Complementarity Problems with a Few Variables per Constraint.
Math. Oper. Res., 2015

A representation of antimatroids by Horn rules and its application to educational systems.
CoRR, 2015

On Randomized Fictitious Play for Approximating Saddle Points Over Convex Sets.
Algorithmica, 2015

Markov Decision Processes and Stochastic Games with Total Effective Payoff.
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

Parameterized Algorithms for Parity Games.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

2014
Online removable knapsack problem under convex function.
Theor. Comput. Sci., 2014

Posimodular Function Optimization.
CoRR, 2014

Nested Family of Cyclic Games with $k$-total Effective Rewards.
CoRR, 2014

Augmenting Edge-Connectivity between Vertex Subsets.
Algorithmica, 2014

Online Unweighted Knapsack Problem with Removal Cost.
Algorithmica, 2014

A Potential Reduction Algorithm for Ergodic Two-Person Zero-Sum Limiting Average Payoff Stochastic Games.
Proceedings of the Combinatorial Optimization and Applications, 2014

2013
Nash equilibria with minimum potential in undirected broadcast games.
Theor. Comput. Sci., 2013

Robust Independence Systems.
SIAM J. Discret. Math., 2013

Robust Matchings and Matroid Intersections.
SIAM J. Discret. Math., 2013

On discounted approximations of undiscounted stochastic games and Markov decision processes with limited randomness.
Oper. Res. Lett., 2013

On Canonical Forms for Zero-Sum Stochastic Mean Payoff Games.
Dyn. Games Appl., 2013

Derandomizing the HSSW Algorithm for 3-SAT.
Algorithmica, 2013

Sparse Linear Complementarity Problems.
Proceedings of the Algorithms and Complexity, 8th International Conference, 2013

Randomized Algorithms for Removable Online Knapsack Problems.
Proceedings of the Frontiers in Algorithmics <i>and</i> Algorithmic Aspects in Information and Management, 2013

2012
Deductive inference for the interiors and exteriors of horn theories.
ACM Trans. Comput. Log., 2012

On Nash equilibria and improvement cycles in pure positional strategies for Chess-like and Backgammon-like n-person games.
Discret. Math., 2012

Caching Is Hard - Even in the Fault Model.
Algorithmica, 2012

Interactive regret minimization.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

Source Location Problems with Flow Requirements.
Proceedings of the Third International Conference on Networking and Computing, 2012

Online Knapsack Problem with Removal Cost.
Proceedings of the Computing and Combinatorics - 18th Annual International Conference, 2012

2011
An exact algorithm for the Boolean connectivity problem for k-CNF.
Theor. Comput. Sci., 2011

Nonadaptive broadcasting in trees.
Networks, 2011

On the readability of monotone Boolean formulae.
J. Comb. Optim., 2011

Finding Simplices containing the Origin in Two and Three Dimensions.
Int. J. Comput. Geom. Appl., 2011

Nash-solvable two-person symmetric cycle game forms.
Discret. Appl. Math., 2011

Logical analysis of data: classification with justification.
Ann. Oper. Res., 2011

Computing Knapsack Solutions with Cardinality Robustness.
Proceedings of the Algorithms and Computation - 22nd International Symposium, 2011

Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2010
Online removable knapsack with limited cuts.
Theor. Comput. Sci., 2010

Left-to-Right Multiplication for Monotone Boolean Dualization.
SIAM J. Comput., 2010

On effectivity functions of game forms.
Games Econ. Behav., 2010

Posi-Modular Systems with Modulotone Requirements under Permutation Constraints.
Discret. Math. Algorithms Appl., 2010

Acyclic, or totally tight, two-person game forms: Characterization and main properties.
Discret. Math., 2010

On the Boolean connectivity problem for Horn relations.
Discret. Appl. Math., 2010

An Exact Algorithm for the Boolean Connectivity Problem for <i>k</i>-CNF.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with Perfect Information.
Proceedings of the Integer Programming and Combinatorial Optimization, 2010

2009
Minimum Transversals in Posimodular Systems.
SIAM J. Discret. Math., 2009

On the fractional chromatic number of monotone self-dual Boolean functions.
Discret. Math., 2009

Minimal and locally minimal games and game forms.
Discret. Math., 2009

Online Knapsack Problems with Limited Cuts.
Proceedings of the Algorithms and Computation, 20th International Symposium, 2009

A Fast and Simple Parallel Algorithm for the Monotone Duality Problem.
Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009

Output-Sensitive Algorithms for Enumerating Minimal Transversals for Some Geometric Hypergraphs.
Proceedings of the Algorithms, 2009

2008
Minimizing a monotone concave function with laminar covering constraints.
Discret. Appl. Math., 2008

Computational aspects of monotone dualization: A brief survey.
Discret. Appl. Math., 2008

Minimum Cost Source Location Problems with Flow Requirements.
Algorithmica, 2008

Generating Cut Conjunctions in Graphs and Related Problems.
Algorithmica, 2008

On Berge Multiplication for Monotone Boolean Dualization.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

New Results for Horn Cores and Envelopes of Horn Disjunctions.
Proceedings of the ECAI 2008, 2008

A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames.
Proceedings of the Computer Science, 2008

2007
Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data.
Theor. Comput. Sci., 2007

On computing all abductive explanations from a propositional Horn theory.
J. ACM, 2007

A Dichotomy Theorem within Schaefer for the Boolean Connectivity Problem.
Electron. Colloquium Comput. Complex., 2007

Enumerating disjunctions and conjunctions of paths and cuts in reliability theory.
Discret. Appl. Math., 2007

Generating Minimal k-Vertex Connected Spanning Subgraphs.
Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007

Finding Intersections of Bichromatic Segments Defined by Points.
Proceedings of the 19th Annual Canadian Conference on Computational Geometry, 2007

2006
An O(n log<sup>2</sup>n) algorithm for the optimal sink location problem in dynamic tree networks.
Discret. Appl. Math., 2006

Minimum edge ranking spanning trees of split graphs.
Discret. Appl. Math., 2006

How to collect balls moving in the Euclidean plane.
Discret. Appl. Math., 2006

Minimum Transversals in Posi-modular Systems.
Proceedings of the Algorithms, 2006

Enumerating Spanning and Connected Subsets in Graphs and Matroids.
Proceedings of the Algorithms, 2006

2005
On the Complexity of Some Enumeration Problems for Matroids.
SIAM J. Discret. Math., 2005

Special Section on Discrete Mathematics and Its Applications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Generating Cut Conjunctions and Bridge Avoiding Extensions in Graphs.
Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

2004
Polybasic polyhedra: structure of polyhedra with edge vectors of support size at most 2.
Discret. Math., 2004

Dual-bounded generating problems: weighted transversals of a hypergraph.
Discret. Appl. Math., 2004

New Algorithms for Enumerating All Maximal Cliques.
Proceedings of the Algorithm Theory, 2004

Generating Paths and Cuts in Multi-pole (Di)graphs.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

An O(n log 2n) Algorithm for the Optimal Sink Location Problem in Dynamic Tree Networks.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
New Results on Monotone Dualization and Generating Hypergraph Transversals.
SIAM J. Comput., 2003

Source location problem with flow requirements in directed networks.
Optim. Methods Softw., 2003

Variations on extending partially defined Boolean functions with missing bits.
Inf. Comput., 2003

Interior and exterior functions of positive Boolean functions.
Discret. Appl. Math., 2003

Efficient dualization of O(log n)-term monotone disjunctive normal forms.
Discret. Appl. Math., 2003

Inferring Minimal Functional Dependencies in Horn and q-Horn Theories.
Ann. Math. Artif. Intell., 2003

Finding Essential Attributes from Binary Data.
Ann. Math. Artif. Intell., 2003

On Maximal Frequent and Minimal Infrequent Sets in Binary Matrices.
Ann. Math. Artif. Intell., 2003

An Intersection Inequality for Discrete Distributions and Related Generation Problems.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Abduction and the Dualization Problem.
Proceedings of the Discovery Science, 6th International Conference, 2003

Generating All Abductive Explanations for Queries on Propositional Horn Theories.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002
Logical analysis of data with decomposable structures.
Theor. Comput. Sci., 2002

Decision lists and related Boolean functions.
Theor. Comput. Sci., 2002

Dual-Bounded Generating Problems: All Minimal Integer Solutions for a Monotone System of Linear Inequalities.
SIAM J. Comput., 2002

A linear time algorithm for recognizing regular Boolean functions.
J. Algorithms, 2002

Locating Sources to Meet Flow Demands in Undirected Networks.
J. Algorithms, 2002

A simple matching algorithm for regular bipartite graphs.
Inf. Process. Lett., 2002

Recognition and dualization of disguised bidual Horn functions.
Inf. Process. Lett., 2002

Optimal Sink Location Problem for Dynamic Flows in a Tree Network.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Max- and Min-Neighborhood Monopolies.
Algorithmica, 2002

On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets.
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002

Minimum Edge Ranking Spanning Trees of Threshold Graphs.
Proceedings of the Algorithms and Computation, 13th International Symposium, 2002

On Computing all Abductive Explanations.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Transformations on Regular Nondominated Coteries and Their Applications.
SIAM J. Discret. Math., 2001

Disjunctions of Horn Theories and Their Cores.
SIAM J. Comput., 2001

On Minimum Edge Ranking Spanning Trees.
J. Algorithms, 2001

A Satisfiability Formulation of Problems on Level Graphs.
Electron. Notes Discret. Math., 2001

On functional dependencies in q-Horn theories.
Artif. Intell., 2001

On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph.
SIAM J. Comput., 2000

On the Difference of Horn Theories.
J. Comput. Syst. Sci., 2000

Efficient generation of all regular non-dominated coteries.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits.
Proceedings of the Theoretical Computer Science, 2000

Finding Essential Attributes in Binary Data.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Generating Partial and Multiple Transversals of a Hypergraph.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999
Horn Extensions of a Partially Defined Boolean Function.
SIAM J. Comput., 1999

Inner-core and Outer-core Functions of Partially Defined Boolean Functions.
Discret. Appl. Math., 1999

Bidual Horn Functions and Extensions.
Discret. Appl. Math., 1999

Minimum Self-dual Decompositions of Positive Dual-minor Boolean Functions.
Discret. Appl. Math., 1999

Functional Dependencies in Horn Theories.
Artif. Intell., 1999

Computing Intersections of Horn Theories for Reasoning with Models.
Artif. Intell., 1999

Logical Analysis of Binary Data with Missing Bits.
Artif. Intell., 1999

1998
A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions.
J. Algorithms, 1998

Double Horn Functions.
Inf. Comput., 1998

Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions.
Inf. Comput., 1998

On Disguised Double Horn Functions and Extensions.
Proceedings of the STACS 98, 1998

1997
The Maximum Latency and Identification of Positive Boolean Functions.
SIAM J. Comput., 1997

Positive and Horn Decomposability of Partially Defined Boolean Functions.
Discret. Appl. Math., 1997

Two-Face Horn Extensions.
Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

Monotone Extensions of Boolean Data Sets.
Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996
Interior and Exterior Functions of Boolean Functions.
Discret. Appl. Math., 1996

Boolean Analysis of Incomplete Examples.
Proceedings of the Algorithm Theory, 1996

Data Analysis by Positive Decision Trees.
Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996


  Loading...