Skip to main content
Computer Science

Explore our questions

Ask Question
more tags
Active 2 Bountied Hot Week Month
2 votes
1 answer
45 views

Hardness of this version of Dual Horn

Community's user avatar
CommunityBot
  • 1
1 vote
0 answers
29 views
+50

Basic question about parallel repetition in IP protocol

advocateofnone's user avatar
advocateofnone
  • 2,999
2 votes
0 answers
6 views

How can I think about one statement that $TM_1$ uses $TM_2$ to compute $TM_3$?

JohnsonL's user avatar
JohnsonL
  • 21
0 votes
2 answers
102 views

Example request for Monotone 1 in 3 SAT

Fabrice TIERCELIN's user avatar
Fabrice TIERCELIN
  • 149
1 vote
1 answer
58 views

Decidability using oracle

Community's user avatar
CommunityBot
  • 1
1 vote
1 answer
110 views

Is the Jacobian matrix calculation process correctly on this energy function?

Community's user avatar
CommunityBot
  • 1
0 votes
1 answer
335 views

Efficient Method for Distance Comparison in Euclidean Space

Community's user avatar
CommunityBot
  • 1
4 votes
1 answer
58 views

Determinize History-Deterministic Automaton By Pruning

Bader Abu Radi's user avatar
Bader Abu Radi
  • 5,172
0 votes
0 answers
5 views

Knuth-Bendix completion as a context-sensitive grammar

Julius Hamilton's user avatar
Julius Hamilton
  • 172
0 votes
0 answers
7 views

How to transfer Hamilton cycle problem in non-directed graph to zero-one equation?

leonxia80's user avatar
leonxia80
  • 1
0 votes
1 answer
29 views

What's the time complexity of splitting an array into 2 equal halfs?

NaturalLogZ's user avatar
NaturalLogZ
  • 963
1 vote
0 answers
42 views

Has a Torus data structure been constructed?

Mr X's user avatar
Mr X
  • 111
1 vote
2 answers
56 views

Basic Blocks: Interrupted by "pointless" goto?

Community's user avatar
CommunityBot
  • 1
1 vote
1 answer
186 views

How are enumerator programs formally defined?

Community's user avatar
CommunityBot
  • 1
Browse more Questions