Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » Science

definition commitment beta
159
followers

Computer Science

Launched Q&A site for students, researchers and practitioners of computer science.

17
votes
2
answers

The Computer Science proposal should be in the Science category

jan 17 '13 at 16:50 Community♦ 1
20
votes
3
answers

Computer science: the audience description is now wrong

feb 29 '12 at 14:50 Community♦ 1
33
votes
8
answers

Is Computer Science a duplicate of Theoretical Computer Science?

feb 1 '12 at 2:43 Adam Lear♦ 201
9
votes
2
answers

The title “Computer Science (Non-Programming)”

feb 1 '12 at 2:39 Community♦ 1

show 2 more discussions
discuss this proposal

24 Example Questions (2 closed)

active newest votes
up vote 10 down vote
The subset sum problem is NP-complete. Can the following variation be proved to be NP-complete?
added by Ken Li, edited by WikiSpeedia hang-around Nov 23 '11 at 20:26
link
up vote 10 down vote
Is it possible to enumerate all propositions entailed by a set of formulas in higher-order logic?
added by Gilles Oct 2 '11 at 22:03
link
up vote 10 down vote
Is every context free language over a unary alphabet regular?
added by Gilles Oct 2 '11 at 22:45
link
Asked (not very well) on Stack Overflow and closed there. – Gilles Oct 2 '11 at 22:45
up vote 10 down vote
What is a mostly-concurrent garbage collector (as opposed to a concurrent GC or an ordinary incremental GC in a concurrent system)?
added by Gilles Oct 2 '11 at 22:50
link
Asked on Stack Overflow and unanswered there. – Gilles Oct 2 '11 at 22:50
up vote 10 down vote
What other mechanisms besides the Pumping Lemma are there to prove a grammar is not regular?
added by Daniel A. Oct 15 '11 at 16:55
link
1  
I like this question. How to determine the regularity of languages is a question that often arises on SO, usually doesn't receive a proper answer, but is far too basic for TCS. – danportin Oct 16 '11 at 4:23
up vote 9 down vote
How can you convert an ambiguous CFG into an unambiguous one?
added by Raphael Sep 29 '11 at 22:25
link
cf cstheory.stackexchange.com/q/8262/1546 – Raphael Oct 3 '11 at 6:38
up vote 9 down vote
I read that modern CPUs predict targets of conditional jumps. Why does this make sense in principle and how does it work?
added by Raphael Oct 3 '11 at 6:44
link
up vote 8 down vote
Is this algorithm O(N) in worst case?
added by Ken Li Sep 27 '11 at 4:11
link
Based on cstheory.stackexchange.com/questions/6096/… which was also closed as off topic on TCS. – Ken Li Sep 27 '11 at 4:12
up vote 8 down vote
How can I formally show that my algorithm terminates?
added by Raphael Sep 29 '11 at 22:20
link
up vote 8 down vote
How fast can you multiply matrices and are the algorithms practical?
added by Raphael Sep 29 '11 at 22:22
link
up vote 4 down vote
How can I avoid premature convergence to a local optima on my genetic algorithm?
added by Ken Li Sep 27 '11 at 4:13
link
up vote 4 down vote
How costly is case insensitive search as compared to case sensitive search?
added by Gilles Oct 2 '11 at 21:53
link
This topic sounds like something that'd be better asked on SO. Fully understand there is a CS way of reading this, but that subject line doesn't really emphasize that. It also involves a lot of non-theory stuff ("case insensitive" is complicated) – derobert Nov 30 '11 at 7:31
@derobert The full question where I encountered it in the wild was whether case insensitive search is exponential in the number of letters, because abc could be any of ABC, ABc, AbC, etc. That's an (elementary) algorithmic question, which would work on SO but is more about science than about programming. – Gilles Nov 30 '11 at 21:37
up vote 2 down vote
Is the emptiness problem for one-way nondeterministic stack automata solvable?
added by danportin Oct 12 '11 at 9:00
link
up vote 2 down vote
What is the difference between NP-hard and NP-complete?
added by Richard, edited by WikiSpeedia hang-around Nov 23 '11 at 20:24
link
up vote 2 down vote
Would the A* search algorithm be better for a hexagonal based map or Dijkstra's Algorithm?
added by Richard Oct 19 '11 at 20:45
link
up vote 1 down vote
Would the Branch-and-Bound algorithm be useful for the Traveling Salesman problem?
added by Richard Oct 19 '11 at 20:39
link
up vote 1 down vote
What is the best way to use a depth-limited search for an AI using a geo-spatial coordinates system?
added by Richard Oct 19 '11 at 20:48
link
up vote 0 down vote
Is the Post Correspondence Problem over a unary alphabet decidable?
added by danportin Oct 12 '11 at 8:41
link
up vote 0 down vote
Does every set of definite clauses have a least Herbrand model?
added by danportin Oct 12 '11 at 8:46
link
up vote 0 down vote
Is there a linear time algorithm that decides whether a symbol in a context-free grammar is nullable?
added by danportin Oct 12 '11 at 8:54
link
up vote 0 down vote
What were the errors in Vinay Deolalika's proof that P ≠ NP?
added by Richard Oct 19 '11 at 20:33
link
I feel such a question should go to cstheory.SE. But then it might get closed there because of "crank" associations. (Btw, only call it "proof" if you are convinced it is valid.) – Raphael Oct 19 '11 at 22:22
Proof, as in "formal proof". A proof can have errors and be invalid. – Richard Oct 20 '11 at 18:45
@Raphael, it already exists on cstheory.SE =). This question could go on both sites, but we have to be careful of post-crosting. – Gopi Oct 27 '11 at 13:48
up vote 0 down vote
When did the "science" in computer-science first appeared? [closed]
added by Gopi Oct 29 '11 at 13:22
link

closed as off topic by Ninefingers, Dori Nov 5 '11 at 0:20

This question does not relate to the topic of the proposal.

up vote 0 down vote
Which of the forms of notation used for big-O (O, big theta, little theta...) are we actually using when we talk about the run time of an algorithm?
added by Ninefingers Nov 4 '11 at 18:26
link
asked slightly differently on SO and is probably out of place, although answered, there. stackoverflow.com/questions/471199/… – Ninefingers Nov 4 '11 at 18:26
up vote -4 down vote
If you have a class template header in C++, how do you define its member functions its respective .cpp file? [closed]
added by Ken Li Oct 8 '11 at 1:38
link

closed as off topic by Mark Trapp, svick, Richard, Dori Oct 20 '11 at 8:35

This question does not relate to the topic of the proposal.

2  
I suggest this would be perfect for Stackoverflow. – Marcin Oct 13 '11 at 13:53
It is a proposed off-topic question – Ken Li Oct 19 '11 at 22:01
3  
Area 51 does no longer work that way, Ken; we are supposed to collect only on-topic questions. – Raphael Oct 19 '11 at 22:25

This site has

Launched!

This Stack Exchange site's beta was successful, so it launched 5 years ago.

proposed by

Ken Li
14.4k●16●93●145

9 years ago

edited by

Robert Cartaino ♦ 3
226k●68●637●1442

9 years ago

viewed

22,383 times

latest activity

8 years ago

followers

users also following

8.2% Academia
8.2% Computational Sci...
7.5% Cryptography
6.9% Chemistry
19.5% only this proposal

followers active in

76.7% Stack Overflow
33.3% Super User
28.9% Software Engineering
27.7% Meta Stack Exchange
26.4% Computer Science
25.8% Unix & Linux

recent followers

added Mar 20 '12 at 17:06
Stefano Palazzo
97k●47●327●527
added Mar 20 '12 at 13:56
Songpol Sripao-eiam
51●2
added Mar 20 '12 at 12:45
user54844
51●1
added Mar 20 '12 at 5:54
CppLearner
18.1k●40●146●266
added Mar 20 '12 at 1:02
vrand
51●2
added Mar 19 '12 at 13:16
ricmarques
3,996●3●35●92
added Mar 19 '12 at 12:25
martin
3,800●3●27●63
added Mar 19 '12 at 9:10
Ahmad Alfy
12.4k●7●61●107
added Mar 19 '12 at 1:45
Thom Wiggers
8,404●2●52●115
added Mar 18 '12 at 16:33
danr
2,536●22●26
added Mar 17 '12 at 22:01
Guy Coder
32.7k●7●112●265
added Mar 17 '12 at 7:10
user54517
51●1
added Mar 16 '12 at 23:31
cic
6,939●3●21●37
added Mar 16 '12 at 3:17
David
2,778●1●18●36
added Mar 16 '12 at 0:53
steveoh
457●2●12
added Mar 14 '12 at 22:12
Martin Prebio
51●2
added Mar 14 '12 at 21:25
AProgrammer
84.7k●12●186●349
added Mar 14 '12 at 21:04
user54355
51●1
added Mar 14 '12 at 20:44
Belovoj
895●11●21
added Mar 14 '12 at 9:38
tcrosley
65.5k●12●182●376
added Mar 14 '12 at 8:58
Anthony Labarre
14.3k●4●110●188
added Mar 14 '12 at 4:54
Kenneth Funk
527●2●13
added Mar 14 '12 at 3:33
user54284
51●1
added Mar 14 '12 at 2:55
user54282
56●2
added Mar 13 '12 at 16:25
jeffm
4,335●1●38●89
added Mar 13 '12 at 7:19
Markus
2,071●4●20●39
added Mar 12 '12 at 21:13
Pratik Deoghare
55.5k●45●221●376
added Mar 12 '12 at 20:23
Anton
1,238●7●21
added Mar 12 '12 at 17:07
kunigami
3,660●4●29●54
added Mar 12 '12 at 16:17
Jamesbraders
51●2
added Mar 12 '12 at 15:00
Jarvis
1,224●10●45
added Mar 12 '12 at 13:43
Marc Gillé
2,771●17●34
added Mar 12 '12 at 13:16
yibe
5,261●6●35●39
added Mar 11 '12 at 20:47
user54077
51●1
added Mar 11 '12 at 18:23
Dillon Cower
2,589●16●18
added Mar 10 '12 at 17:32
mrm
31.7k●11●133●259
added Mar 10 '12 at 15:00
wallnuss
51●1
added Mar 10 '12 at 8:47
Mike G
1,193●7●27
added Mar 10 '12 at 4:22
Magesh khanna
51●2
added Mar 9 '12 at 7:38
Tom Wijsman
124k●81●502●886
feed icon proposal feed
faq | blog | legal | privacy policy | contact us | feedback always welcome
site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa; see the licensing help page for more information.
rev 2021.2.22.577