CIS 发表于 2025-3-25 07:24:25
http://reply.papertrans.cn/24/2339/233822/233822_21.pngnurture 发表于 2025-3-25 10:28:11
http://reply.papertrans.cn/24/2339/233822/233822_22.png油膏 发表于 2025-3-25 12:57:55
,Graphs of Bounded Treewidth Can Be Canonized in ,,ree canonization algorithm . We define recursively what we call a . which gives with respect to some parameters in a logarithmic number of levels a canonical invariant together with an arrangement of all vertices. From this we compute a canonical labeling.Embolic-Stroke 发表于 2025-3-25 19:12:36
An Extended Tree-Width Notion for Directed Graphs Related to the Computation of Permanents,mples where the latter parameter is bounded whereas the former is not. As main result we show that permanents of matrices of bounded triangular tree-width are efficiently computable. This result holds as well for the Hamiltonian Cycle problem.混合,搀杂 发表于 2025-3-25 23:27:01
0302-9743 cted from 76 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.978-3-642-20711-2978-3-642-20712-9Series ISSN 0302-9743 Series E-ISSN 1611-3349全能 发表于 2025-3-26 03:38:32
http://reply.papertrans.cn/24/2339/233822/233822_26.png宴会 发表于 2025-3-26 04:17:48
https://doi.org/10.1007/BFb0051473 polynomials of constant degree over arbitrary finite rings from membership queries, with the additional constraint that each variable in the target polynomial appears in a constant number of monomials. Our algorithm extends to superconstant but low degree polynomials and still runs in quasipolynomial time.和蔼 发表于 2025-3-26 09:39:00
http://reply.papertrans.cn/24/2339/233822/233822_28.png血友病 发表于 2025-3-26 16:41:21
http://reply.papertrans.cn/24/2339/233822/233822_29.pngverdict 发表于 2025-3-26 17:33:49
The Equivalence of Sampling and Searching, ., and asked to find a member of a nonempty set .. with high probability. (An example is finding a Nash equilibrium.) In this paper, we use tools from Kolmogorov complexity to show that sampling and search problems are “essentially equivalent.” More precisely, for any sampling problem ., there exis