Organizer - Badge - Computer Science Stack Exchange

Organizer

First retag.

Awarded 384 times.

Schoolclass Optimization Algorithm for finding Stable Matching

Awarded Aug 16 at 16:46

SilvioM

5883 silver badges10 bronze badges

Finding the runtime out of a recursion formula when using divide-and-conquer

Awarded Jul 26 at 18:51

The Pointer

2031 silver badge10 bronze badges

Tail call optimization via translating to CPS

Awarded Jul 26 at 18:51

Will Ness

2791 silver badge9 bronze badges

What extension of a finite-state machine is modeled by aliasing inputs?

Awarded Mar 6 at 16:20

Richard Chambers

4791 gold badge5 silver badges16 bronze badges

Why is Independent Set "at least" and Vertex Cover "at most" k

Awarded Jan 29 at 3:26

Stef

3461 silver badge10 bronze badges

My attempt at the "This statement is false" paradox

Awarded Jan 6 at 14:25

J D

1816 bronze badges

A query regarding reading input parameters vs hard-coding for TMs

Awarded Dec 16, 2022 at 21:47

TheoryQuest1

7113 silver badges13 bronze badges

To where is the mouse sending signals of a computer?

Awarded Dec 10, 2022 at 10:49

tripleee

1239 bronze badges

Factor a number in the longest possible product of distinct numbers

Awarded Nov 13, 2022 at 23:04

Mengfan Ma

6424 silver badges17 bronze badges

Difference between page table and inverted page table

Awarded Oct 2, 2022 at 18:31

SamB

1054 bronze badges

Alternatives to phi nodes in static single assignment

Awarded May 23, 2022 at 19:11

Stand with Gaza

1,1511 gold badge8 silver badges15 bronze badges

Decidability of a context free Grammar

Awarded May 9, 2022 at 17:08

V2Blast

1016 bronze badges

Turing Machine for the Language $L=\{(a^n)b(a^n)b(a^n) | n\geq0\}$

Awarded Apr 21, 2022 at 22:46

Rohit Singh

2613 silver badges13 bronze badges

Halting problem. Decider “recognising itself” in the input?

Awarded Apr 13, 2022 at 11:40

user253751

1,72011 silver badges17 bronze badges

What are efficient approaches to implement unit propagation in DPLL-based SAT solvers?

Awarded Apr 11, 2022 at 14:57

GManNickG

2691 silver badge11 bronze badges

Efficient data structure for insertion, deletion and smallest-not-in-range query on an array of integers

Awarded Apr 9, 2022 at 21:10

Russel

2,6001 gold badge7 silver badges16 bronze badges

"partial sorting" algorithms (aka "partitioning")

Awarded Apr 6, 2022 at 12:58

Peter Cordes

8416 silver badges14 bronze badges

(post deleted or otherwise unavailable)

Awarded Mar 26, 2022 at 21:04

Mohamad S.

4531 silver badge12 bronze badges

SAT and #SAT in Quantum

Awarded Mar 16, 2022 at 15:57

Geremia

1469 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 31, 2022 at 5:41

Rinkesh P

1,0181 gold badge4 silver badges17 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 31, 2022 at 4:06

Effie

1896 bronze badges

(post deleted or otherwise unavailable)

Awarded Nov 15, 2021 at 20:42

JQL

12 bronze badges

Matrix Chain Multiplication Greedy Approach

Awarded Oct 20, 2021 at 6:48

Avv

4933 silver badges13 bronze badges

Had Conway's Game of Life or any C-A been demonstrated to generate non-repeating pattern?

Awarded Sep 8, 2021 at 9:01

Ilkka Törmä

2882 silver badges6 bronze badges

Delayed "let" in SICP

Awarded Jun 13, 2021 at 1:58

sww

1032 bronze badges

(post deleted or otherwise unavailable)

Awarded May 21, 2021 at 20:03

MR_

1,5644 silver badges23 bronze badges

(post deleted or otherwise unavailable)

Awarded May 16, 2021 at 17:02

philipxy

1429 bronze badges

$L^{\prime}=\{x \# y \mid x y \in L, y x \notin L\}$ where $L$ is regular

Awarded Apr 21, 2021 at 20:11

Nathaniel

12.5k2 gold badges24 silver badges42 bronze badges

Decidable? If a Turing Machine M, on input w, will M ever move its read/write head to the left?

Awarded Apr 8, 2021 at 20:21

user3840170

1176 bronze badges

PCA applicability

Awarded Mar 17, 2021 at 17:42

awillia91

3742 silver badges8 bronze badges

(post deleted or otherwise unavailable)

Awarded Mar 3, 2021 at 8:50

nir shahar

11.5k3 gold badges14 silver badges35 bronze badges

High dimensional Pareto dominance query data structure

Awarded Feb 2, 2021 at 2:52

Inuyasha Yagami

5,8171 gold badge11 silver badges23 bronze badges

How can a computer deal with real numbers

Awarded Jan 30, 2021 at 16:00

Andrey Tyukin

1967 bronze badges

RSA Encryption for specitic messages x with x = ap mod pq for ap-bq=1

Awarded Jan 22, 2021 at 23:02

William Martens

1034 bronze badges

Given an undirected graph, find an orientation such that every vertex has out-degree at least 3

Awarded Jan 9, 2021 at 19:12

Matthieu Latapy

6253 silver badges20 bronze badges

How to implement conditional probability distribution on set-valued Random Variables

Awarded Jan 6, 2021 at 0:03

Nacho

1033 bronze badges

Is there any polytime reduction from feedback vertex set to vertex cover?

Awarded Jan 1, 2021 at 13:55

Bader Abu Radi

1,5941 gold badge7 silver badges20 bronze badges

How can I do a subtraction on unary numbers terminated in X on turing machine?

Awarded Dec 15, 2020 at 9:11

melfnt

6134 silver badges14 bronze badges

How to calculate the output frequency of this counter?

Awarded Nov 19, 2020 at 19:25

Shashank V M

3892 silver badges24 bronze badges

Is there a simple argument why graph isomorphism is not NP-complete?

Awarded Nov 15, 2020 at 14:27

xxxnxxxnn

12 bronze badges

Changing from Kernel mode to User mode (and vice versa)

Awarded Nov 5, 2020 at 0:48

Narrateur du chaos

2271 silver badge8 bronze badges

Why does every member $f(n) \in \Theta(g(n))$, and $g(n)$ have to be asymptotically non-negative?

Awarded Oct 29, 2020 at 0:42

Alparslan

11311 bronze badges

Proving Big-Theta

Awarded Oct 8, 2020 at 15:56

modak32

33 bronze badges

How to use DFA/NFA to prove the language {$0^n 𝑥1^𝑛$ | x ∈ Σ*, n ≥ 1} is regular?

Awarded Oct 6, 2020 at 0:52

A Paul

17811 bronze badges

Word Wrap Algorithm and Datastructure that supports modifications of text and window size

Awarded Oct 4, 2020 at 23:36

plshelp

1,5895 silver badges14 bronze badges

How to edge-color a directed acyclic graph so that every path visits none or all edges of each color?

Awarded Sep 18, 2020 at 22:10

JimN

7695 silver badges19 bronze badges

Lambda calculus simplification excercise

Awarded Sep 16, 2020 at 4:35

silversilva

1335 bronze badges

CFG that generates $1^*$ is decidable

Awarded Jul 10, 2020 at 16:07

user6530

8521 gold badge4 silver badges16 bronze badges

(post deleted or otherwise unavailable)

Awarded Jun 27, 2020 at 3:26

ShyPerson

9236 silver badges23 bronze badges

(post deleted or otherwise unavailable)

Awarded Jun 19, 2020 at 7:42

Argon

936 bronze badges

$UP=BPP$ implies $UP=RP$?

Awarded Jun 15, 2020 at 15:10

blademan9999

3362 silver badges16 bronze badges

fast and stable x * tanh(log1pexp(x)) computation

Awarded Jun 13, 2020 at 0:46

Armadillo Jim

1234 bronze badges

Books for the Mathematical Theory of AI/ML

Awarded Jun 12, 2020 at 12:35

curlycharcoal

2682 silver badges8 bronze badges

Find the n best choices while maximizing value

Awarded Jun 7, 2020 at 14:20

dhasson

1134 bronze badges

$a^*b^*c^* \setminus \{a^n b^n c^n | n ≥ 0\}$ is not regular using pumping lemma?

Awarded Jun 1, 2020 at 3:05

user21820

7077 silver badges13 bronze badges

Why Convolutional codes is easy to factor/handle the uncertainty of a bit being a 0 or a 1 into the decoding?

Awarded May 26, 2020 at 10:15

auspicious99

2643 silver badges14 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 24, 2020 at 7:25

Steven

28.2k2 gold badges27 silver badges48 bronze badges

Can the heaviest edge ever be in an MST?

Awarded Apr 14, 2020 at 2:05

Ola Ström

1051 silver badge6 bronze badges

(post deleted or otherwise unavailable)

Awarded Apr 13, 2020 at 15:00

curiouscupcake

2941 silver badge12 bronze badges

Formal Languages: if $L_1^* = L_2^*$, then $L_1 = L_2$

Awarded Apr 1, 2020 at 20:50

TheSimpliFire

1667 bronze badges

2 3 4 5

…

7 Next