Muscularis 发表于 2025-3-30 09:35:23

http://reply.papertrans.cn/59/5801/580039/580039_51.png

Bureaucracy 发表于 2025-3-30 12:32:00

http://reply.papertrans.cn/59/5801/580039/580039_52.png

Celiac-Plexus 发表于 2025-3-30 20:12:47

http://reply.papertrans.cn/59/5801/580039/580039_53.png

刻苦读书 发表于 2025-3-30 22:49:44

Quantum Algorithmscan both be cast into the general framework of the hidden subgroup problem (see for example [.]). Two recent papers [.],[.] study how well this framework extends to solving the hidden subgroup problem for non-abelian groups (which includes the graph iso-morphism problem).

DEAF 发表于 2025-3-31 04:04:38

An Algorithm That Builds a Set of Strings Given Its Overlap Graph in exponential time on the maximum degree of ., due to the size of the returned strings, but in polynomial time on ., ∑, and the size of the graph. A practical application of this algorithm is its use to prove the NP-hardness of . family (.) and its variation ., which are based on the DNA Fragment Assembly problem.

delegate 发表于 2025-3-31 06:52:23

Weakly Iterated Block Products of Finite Monoidsy iterated block products of semilattices correspond exactly to the well-known variety . of finite monoids: if groups are allowed as factors, the variety . is obtained. These decomposition theorems allow new, simpler, proofs of recent results concerning the defining power of generalized first-order logic using two variables only.

Nefarious 发表于 2025-3-31 10:18:50

0302-9743 from theoretical computer science and mathematical foundations, with a certain focus on algorithmics and computations related to discrete structures.978-3-540-43400-9978-3-540-45995-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

花费 发表于 2025-3-31 15:10:01

http://reply.papertrans.cn/59/5801/580039/580039_58.png

STAT 发表于 2025-3-31 19:25:59

http://reply.papertrans.cn/59/5801/580039/580039_59.png

拍翅 发表于 2025-3-31 22:50:32

http://reply.papertrans.cn/59/5801/580039/580039_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: LATIN 2002: Theoretical Informatics; 5th Latin American S Sergio Rajsbaum Conference proceedings 2002 Springer-Verlag Berlin Heidelberg 200