Halbgruppen und Automaten
Halteprobleme von Fang-Systemen (Tag Systems).
Halving point sets.
Hardness of embedding simplicial complexes in
Let be the following algorithmic problem: Given a finite simplicial complex of dimension at most , does there exist a (piecewise linear) embedding of into ? Known results easily imply polynomiality of (; the case is graph planarity) and of for all . We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that and are undecidable for each . Our main result is NP-hardness of and, more generally, of for all , with...
Hardness Results for Total Rainbow Connection of Graphs
A total-colored path is total rainbow if both its edges and internal vertices have distinct colors. The total rainbow connection number of a connected graph G, denoted by trc(G), is the smallest number of colors that are needed in a total-coloring of G in order to make G total rainbow connected, that is, any two vertices of G are connected by a total rainbow path. In this paper, we study the computational complexity of total rainbow connection of graphs. We show that deciding whether a given total-coloring...
Heterogeneous monoid automata and admissible bisystems
Heuristic and metaheuristic methods for computing graph treewidth
The notion of treewidth is of considerable interest in relation to NP-hard problems. Indeed, several studies have shown that the tree-decomposition method can be used to solve many basic optimization problems in polynomial time when treewidth is bounded, even if, for arbitrary graphs, computing the treewidth is NP-hard. Several papers present heuristics with computational experiments. For many graphs the discrepancy between the heuristic results and the best lower bounds is still very large. The...
Heuristic and metaheuristic methods for computing graph treewidth
The notion of treewidth is of considerable interest in relation to NP-hard problems. Indeed, several studies have shown that the tree-decomposition method can be used to solve many basic optimization problems in polynomial time when treewidth is bounded, even if, for arbitrary graphs, computing the treewidth is NP-hard. Several papers present heuristics with computational experiments. For many graphs the discrepancy between the heuristic results and the best lower bounds is still very large....
Hierarchies and reducibilities on regular languages related to modulo counting
We discuss some known and introduce some new hierarchies and reducibilities on regular languages, with the emphasis on the quantifier-alternation and difference hierarchies of the quasi-aperiodic languages. The non-collapse of these hierarchies and decidability of some levels are established. Complete sets in the levels of the hierarchies under the polylogtime and some quantifier-free reducibilities are found. Some facts about the corresponding degree structures are established. As an application,...
Hierarchies and reducibilities on regular languages related to modulo counting
We discuss some known and introduce some new hierarchies and reducibilities on regular languages, with the emphasis on the quantifier-alternation and difference hierarchies of the quasi-aperiodic languages. The non-collapse of these hierarchies and decidability of some levels are established. Complete sets in the levels of the hierarchies under the polylogtime and some quantifier-free reducibilities are found. Some facts about the corresponding degree structures are established. As an application, we...
Hiérarchies de concaténation
Hierarchies of aperiodic languages
Hierarchies of weakly monotone restarting automata
It is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols.
Hierarchies of weakly monotone restarting automata
It is known that the weakly monotone restarting automata accept exactly the growing context-sensitive languages. We introduce a measure on the degree of weak monotonicity and show that the language classes obtained in this way form strict hierarchies for the various types of deterministic and nondeterministic restarting automata without auxiliary symbols.
Hierarchy of reversal bounded one-way multicounter machines
Higher-dimensional categories with finite derivation type.
Higher-Dimensional Voronoi Diagrams in Linear Expected Time.
Highly Undecidable Problems For Infinite Computations
We show that many classical decision problems about 1-counter ω-languages, context free ω-languages, or infinitary rational relations, are Π½ -complete, hence located at the second level of the analytical hierarchy, and “highly undecidable”. In particular, the universality problem, the inclusion problem, the equivalence problem, the determinizability problem, the complementability problem, and the unambiguity problem are all Π½ -complete for context-free ω-languages or for infinitary rational...
Histoires de fichiers
Holonomic functions and their relation to linearly constrained languages