最高点
发表于 2025-3-26 22:42:02
http://reply.papertrans.cn/63/6262/626139/626139_31.png
残忍
发表于 2025-3-27 04:29:23
On the Complexity of Depth-2 Circuits with Threshold Gatesa lower bound on the size of depth two circuits with a threshold gate at the top and a certain type of gates at the bottom. We apply the method for circuits with symmetric gates at the bottom that compute the “inner product mod 2”, and obtain a lower bound of 1.3638.. Although our lower bound is sli
genesis
发表于 2025-3-27 05:43:43
Isomorphic Implicationve that, depending on the set of constraints, this problem is in P, NP-complete, or NP-hard, coNP-hard, and in .. We show how to extend the NP-hardness and coNP-hardness to .-hardness for some cases, and conjecture that this can be done in all cases.
狗舍
发表于 2025-3-27 09:57:53
http://reply.papertrans.cn/63/6262/626139/626139_34.png
CLOWN
发表于 2025-3-27 13:53:57
http://reply.papertrans.cn/63/6262/626139/626139_35.png
钱财
发表于 2025-3-27 18:33:37
http://reply.papertrans.cn/63/6262/626139/626139_36.png
Generic-Drug
发表于 2025-3-27 22:35:57
http://reply.papertrans.cn/63/6262/626139/626139_37.png
HARP
发表于 2025-3-28 05:36:49
Linearly Bounded Infinite Graphste automata representing their observable computational behavior, called linearly bounded graphs. These automata naturally accept the same languages as the linearly bounded machines defining them. We present some of their structural properties as well as alternative characterizations in terms of rew
山崩
发表于 2025-3-28 07:49:17
Basic Properties for Sand Automataal behavior of sand automata proving that the property of ultimate periodicity is undecidable. We believe that the proof technique used for this last result might turn out to be useful for many other results in the same context.
地名词典
发表于 2025-3-28 13:17:35
A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphsen considered: – the message passing model, – the shared memory model, – the local computation model. In each model the processes are represented by vertices of a graph and the interactions are represented by edges. In the message passing model and the shared memory model, processes interact by comm