Enervate
发表于 2025-3-26 20:58:05
http://reply.papertrans.cn/63/6262/626146/626146_31.png
Alpha-Cells
发表于 2025-3-27 03:44:18
http://reply.papertrans.cn/63/6262/626146/626146_32.png
愤怒事实
发表于 2025-3-27 06:30:57
0302-9743 ternational Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory
Occupation
发表于 2025-3-27 13:21:22
Unordered Constraint Satisfaction Games,functions or threshold functions with a threshold that is small compared to the arity of the constraints. Also, we prove that the problem of determining if Player I can satisfy all constraints is PSPACE-complete even in this unordered setting, and when the constraints are disjunctions of at most 6 literals (an unordered-game analogue of 6-QBF).
hematuria
发表于 2025-3-27 14:12:16
A Polynomial-Time Algorithm for Computing the Maximum Common Subgraph of Outerplanar Graphs of Bounanar graphs whose maximum vertex degree is bounded by a constant, where it is known that the problem is NP-hard even for outerplanar graphs of unbounded degree. Although the algorithm repeatedly modifies input graphs, it is shown that the number of relevant subproblems is polynomially bounded and thus the algorithm works in polynomial time.
脱落
发表于 2025-3-27 20:31:18
http://reply.papertrans.cn/63/6262/626146/626146_36.png
不成比例
发表于 2025-3-28 01:39:57
http://reply.papertrans.cn/63/6262/626146/626146_37.png
Ornament
发表于 2025-3-28 02:12:20
http://reply.papertrans.cn/63/6262/626146/626146_38.png
轨道
发表于 2025-3-28 10:01:05
0302-9743 r-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.978-3-642-32588-5978-3-642-32589-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
睨视
发表于 2025-3-28 11:15:46
http://reply.papertrans.cn/63/6262/626146/626146_40.png