调色板
发表于 2025-3-26 22:45:46
Bistable Latch Ising Machines,es periodically in analog/continuous mode, during which bistability is removed, helps the system traverse to better minima. CMOS realizations of BLIM have desirable practical features; implementation in other physical domains is an intriguing possibility.
Abutment
发表于 2025-3-27 04:52:28
The Complexity of Multiple Handed Self-assembly,assembly proceeds by repeatedly combining up to . assemblies together into larger assemblies. We first show that there exist shapes that are self-assembled with provably lower tile type complexities given more hands: we construct a class of shapes . that requires . tile types to self-assemble with .
直觉没有
发表于 2025-3-27 07:03:51
http://reply.papertrans.cn/95/9413/941202/941202_33.png
BROOK
发表于 2025-3-27 10:40:18
Robust Real-Time Computing with Chemical Reaction Networks,omputing real numbers in real-time with chemical reaction networks (CRNs), introducing the classes . (the class of all Lyapunov CRN-computable real numbers) and . (the class of all real-time CRN-computable numbers). In their paper, they show the inclusion of the real algebraic numbers . and that . b
tooth-decay
发表于 2025-3-27 15:23:15
http://reply.papertrans.cn/95/9413/941202/941202_35.png
不可磨灭
发表于 2025-3-27 19:20:06
Quantum Algorithm for Dyck Language with Multiple Types of Brackets,xity ., where . is the length of input and . is the maximal nesting depth of brackets. Additionally, we show the lower bound for this problem which is . for some constant ...Interestingly, classical algorithms solving the Dyck Language for multiple types of brackets substantially differ from the alg
歌唱队
发表于 2025-3-28 01:55:32
Affine Automata Verifiers,y language is verified by a real-valued AfA verifier. Then, we focus on the verifiers restricted to have only integer-valued or rational-valued transitions. We observe that rational-valued verifiers can be simulated by integer-valued verifiers, and their protocols can be simulated in nondeterministi
Heart-Rate
发表于 2025-3-28 05:48:25
String Assembling Systems: Comparison to Sticker Systems and Decidability, based on piecewise assembly of a double-stranded sequence of symbols, where the upper and lower strand have to match. So, the generative power of such systems is driven by the power of double-strands. Here we compare the generative capacity of string assembling systems with those of different varia
尖牙
发表于 2025-3-28 08:10:18
http://reply.papertrans.cn/95/9413/941202/941202_39.png
patriot
发表于 2025-3-28 10:28:35
Physical ZKP for Connected Spanning Subgraph: Applications to Bridges Puzzle and Other Problems, . wants to convince . that . is a connected spanning subgraph of ., i.e. . is connected and contains all vertices of .. In this paper, we propose an unconventional zero-knowledge proof protocol using a physical deck of cards, which enables . to physically show that . satisfies the condition without