This account is temporarily suspended for rule violations. The suspension period ends on Apr 4, 2023 at 0:24.
user avatar
user avatar
user avatar
Tim
  • Member for 10 years, 3 months
  • Last seen more than a month ago
36 votes
6 answers
73k views

Can a public key be used to decrypt a message encrypted by the corresponding private key?

34 votes
6 answers
13k views

Differences and relationships between randomized and nondeterministic algorithms?

20 votes
1 answer
14k views

Definitions of an algorithm running in polynomial time and in strongly polynomial time

19 votes
2 answers
16k views

What is the difference between abstract and concrete data structures?

17 votes
4 answers
27k views

Relation and difference between information retrieval and information extraction?

15 votes
2 answers
1k views

Classfication of randomized algorithms

13 votes
2 answers
1k views

Why are decision problems commonly used in complexity theory?

11 votes
3 answers
864 views

Do "inductively" and "recursively" have very similar meanings?

8 votes
2 answers
349 views

Are randomized algorithms constructive?

8 votes
3 answers
3k views

Differences between programming model and programming paradigm?

7 votes
1 answer
3k views

Why is a superscalar processor SIMD?

6 votes
1 answer
693 views

A model of computation vs an abstract machine

6 votes
5 answers
479 views

Is the codomain/range of a hash function always $\mathbb{Z}$ or $\mathbb{N}$?

6 votes
1 answer
171 views

Can all packing/covering problems be rephrased as set packing/covering problems?

6 votes
0 answers
2k views

Relations between the knapsack problem, the bin packing problem, and the set packing problem?

6 votes
2 answers
2k views

Models of computation: the arithmetic model, Turing machine (and ...)

6 votes
2 answers
1k views

What are the axioms, inference rules, and (formal) semantics of lambda calculus?

6 votes
2 answers
1k views

What is the connection between data structures and data types?

5 votes
1 answer
2k views

What are the meanings of metalanguage and metasyntax and EBNF?

5 votes
2 answers
181 views

Which language families admit inductive definitions?

5 votes
5 answers
583 views

Can we use domains other than the naturals in computability theory?

5 votes
1 answer
2k views

Understanding the definition of reduction

5 votes
3 answers
927 views

Why do some search trees store all the elements in leaves, while others don't?

5 votes
1 answer
2k views

Are Huffman trees and optimal binary search trees for solving the same problems?

4 votes
1 answer
5k views

Untyped vs Unityped

4 votes
1 answer
527 views

Does "static" or "dynamic" imply a compiler or interpreter implementation of a programming language?

4 votes
0 answers
205 views

How shall I understand the definitions of `let` expression?

4 votes
2 answers
2k views

Syntax and formal grammar of a formal language

4 votes
3 answers
6k views

Differences and relations between high-performance/throughput computing and parallel computing?

4 votes
1 answer
740 views

What do queues and stacks correspond to in math?

1
2 3 4 5 6