The examples tag has no wiki summary.
-3
votes
0answers
22 views
Need a simple example on time-stamp protocol?
I've seen the read & write conditions in time stamp protocol and got confused !
The applications using an example will make things clear.
thanks
5
votes
0answers
114 views
Examples of simple charging schemes
I am looking for a simple example of a charging scheme. That is, one that will take 1-2 minutes to explain in a talk. I know of one such example, though it concerns a geometric question, while I hope ...
2
votes
2answers
992 views
Recursively enumerable, non-recursive language without using Gödel's number
I am trying to find out if there exists a language, which is recursively enumerable but not recursive, but which wouldn't also use Gödel's number or any other kind of Turing machine description in its ...
2
votes
1answer
469 views
Maximum clique algorithm on undirected graph
Recently I learned about maximum cliques. For fun I came up with an algorithm (described below) to find the maximum cliques in an undirected graph. I'd just like some help constructing a graph s.t. ...
45
votes
11answers
3k views
Common false beliefs in theoretical computer science
EDIT AT 10/12/08:
I'll try to modified the question so it may interest more people to share their opinions. We NEED your contributions!
This post is inspired by the one in MO: Examples of common ...
8
votes
5answers
513 views
Examples in which the size of the alphabet ($\geq 2$) used for an encoding matters
Let $\Sigma$ be an alphabet, ie a nonempty finite set. A string is any finite sequence of elements (characters) from $\Sigma$. As an example, $ \{0, 1\}$ is the binary alphabet and $0110$ is a string ...
44
votes
14answers
1k views
Where and how did computers help prove a theorem?
The purposes of this question is to collect examples from theoretical computer science where the systematic use of computers was helpful
in building a conjecture that lead to a theorem,
falsifying a ...
