Inflamed
发表于 2025-3-23 11:08:25
http://reply.papertrans.cn/17/1663/166201/166201_11.png
HOWL
发表于 2025-3-23 14:18:36
On Counting Homomorphisms to Directed Acyclic Graphsdigraphs ., the problem is in P and for the rest of the digraphs . the problem is #P-complete. An interesting feature of the dichotomy, absent from related dichotomy results, is the rich supply of tractable graphs . with complex structure.
jabber
发表于 2025-3-23 18:21:01
http://reply.papertrans.cn/17/1663/166201/166201_13.png
Nucleate
发表于 2025-3-23 23:46:25
http://reply.papertrans.cn/17/1663/166201/166201_14.png
inspiration
发表于 2025-3-24 02:55:47
http://reply.papertrans.cn/17/1663/166201/166201_15.png
OTHER
发表于 2025-3-24 09:13:44
Stopping Times, Metrics and Approximate Countingmetric which allows us to analyse a one-step path coupling. This approach provides insight for the design of better metrics for specific problems. We give illustrative applications to hypergraph independent sets and SAT instances, hypergraph colourings and colourings of bipartite graphs, obtaining improved results for all these problems.
CLASP
发表于 2025-3-24 13:42:38
Algebraic Characterization of the Finite Power Propertyonoids defined by a confluent regular system of deletion rules. This result in particular covers the case of free groups solved earlier by d’Alessandro and Sakarovitch by means of an involved reduction to the boundedness problem for distance automata.
Senescent
发表于 2025-3-24 18:31:37
Expressive Power of Pebble Automatac (resp. deterministic) tree-walking automata with . + 1 pebbles can recognize more languages than those with . pebbles. Moreover, there is a regular tree language that is not recognized by any tree-walking automaton with pebbles. As a consequence, FO+posTC is strictly included in MSO over trees.
acquisition
发表于 2025-3-24 21:34:18
http://reply.papertrans.cn/17/1663/166201/166201_19.png
conference
发表于 2025-3-25 00:35:18
Handbuch der Lebensmittelchemies in any MST of .. We use a lower bound given by a linear programming relaxation to the problem and strengthen known graph-theoretic results on minimum degree subgraphs to prove our result. Previous results for the problem used a combinatorial lower bound which is weaker than the LP bound we use.