Editor - Badge - Computer Science Stack Exchange

Editor

First edit.

Awarded 15286 times.

Why product type is a dependent SUM?

Awarded 9 hours ago

Somo S.

1033 bronze badges

Is this sorting problem NP-complete?

Awarded 2 days ago

Soroush Vahidi

12 bronze badges

Possibly Tractable Variation of Suguru Puzzles

Awarded 2 days ago

Inteurce

413 bronze badges

Find if there is more than one path between two vertices such that no vertices are used more than once

Awarded Feb 3 at 20:57

Abyx Atjov

214 bronze badges

(post deleted or otherwise unavailable)

Awarded Feb 3 at 1:49

Airam

12 bronze badges

Is there any way to tell which states are final states in a finite state automata given only its grammar?

Awarded Feb 2 at 17:16

Brett Smith

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Feb 1 at 14:06

Flutura Fejzullahu

12 bronze badges

(post deleted or otherwise unavailable)

Awarded Feb 1 at 12:31

Mgh

11 bronze badge

What is this question actually asking for me to solve?

Awarded Feb 1 at 2:11

Kaleb

11 bronze badge

Successive shortest paths with fixed costs and costs per unit

Awarded Jan 31 at 22:26

Gabriel Rebello

1112 bronze badges

Proving that $c^Tx_B<c^T\hat x_\hat B$ holds [closed]

Awarded Jan 31 at 21:22

Proloffc6

12 bronze badges

Detecting if three Turing Machines halt given a magic oracle that is only used twice

Awarded Jan 31 at 21:22

Greg Martin

1031 bronze badge

Definition of complexity of an algorithm

Awarded Jan 31 at 14:16

Dynamite

113 bronze badges

Detecting if three Turing Machines halt given a magic oracle that is only used twice

Awarded Jan 31 at 10:21

lombardo2

1216 bronze badges

If an array is stored from higher region of memory to lower region, how'll the indexing formula look like?

Awarded Jan 31 at 6:18

newtelevisionhd

32 bronze badges

Does the OS come in the hard drive?

Awarded Jan 31 at 5:34

ThunderGlove

11 bronze badge

Set of all vertices in a directed tree that are within distance of strictly larger than 2

Awarded Jan 30 at 18:36

Salty Champ

365 bronze badges

Methods of eliminating ambiguity in CFG

Awarded Jan 30 at 18:05

gendalin

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Jan 30 at 15:18

Ahmed Hossam

1012 bronze badges

Restricted Planar 3-SAT NP-hard

Awarded Jan 30 at 13:32

Freshman's Dream

1333 bronze badges

Parameterized complexity of Weighted Satisfiability with few variable occurrences

Awarded Jan 30 at 9:30

Arne

1406 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 28 at 17:42

anyaolson

11 bronze badge

Is there a way to make a implication graph of the following expression?

Awarded Jan 28 at 10:20

Anuj

373 bronze badges

Linear algebra matrix coding to solve specific formula

Awarded Jan 27 at 23:55

Chris Degnen

1033 bronze badges

Turing Machine, UNLIMITED number of steps left or right on the tape?

Awarded Jan 27 at 17:47

D.R

6045 silver badges7 bronze badges

Ordered open-end knapsack problem optimised for minimum weight range

Awarded Jan 27 at 10:50

matkins

1135 bronze badges

Permutation sort algo

Awarded Jan 26 at 19:48

MaxHype

11 bronze badge

Is it possible to train a neural network to solve NP-complete problems?

Awarded Jan 26 at 16:56

Andrés

11 bronze badge

(post deleted or otherwise unavailable)

Awarded Jan 26 at 14:08

user33577

11 bronze badge

Is Miller-Rabin not a suitable algortihm for the RSA key generation or am I missing something?

Awarded Jan 26 at 13:41

chyxo

112 bronze badges

Abstract Interpretation: Connection between soundness relation and a Galois connection

Awarded Jan 26 at 9:47

cherrywoods

1416 bronze badges

Confused on Bellman Ford

Awarded Jan 26 at 6:27

smarty_pants

11 bronze badge

Maximizing total value of coins collected

Awarded Jan 26 at 4:34

Sandra

113 bronze badges

Data structure to estimate the frequency of low frequency elements

Awarded Jan 25 at 21:05

CodeNoob

1414 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 25 at 2:42

HandlessDerpFace

11 bronze badge

Bit model vs RAM model confusion

Awarded Jan 23 at 20:19

marcustulliuscicero

11 bronze badge

Is a problem in NP if it runs in P time on a NDTM, verifiable in P on a DTM, but solution doesn’t halt on a DTM?

Awarded Jan 23 at 14:15

J Jackson

32 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 23 at 9:26

Nicola

32 bronze badges

Ambiguous type of "triangle" operator for sum types

Awarded Jan 23 at 8:43

pgmcr

262 bronze badges

Time complexity of $\mathsf{NP}$ problem under assumption of $\mathsf{P} \neq \mathsf{NP}$

Awarded Jan 22 at 23:33

kc9jud

33 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 22 at 23:08

Matt Samuel

1035 bronze badges

Another Game Theory Problem

Awarded Jan 22 at 20:19

Identicon

254 bronze badges

Generate uniform random vectors

Awarded Jan 22 at 20:10

Calvinfwc

1175 bronze badges

How many ways we can partition a multiset, where each part/segment in the partition has distinct elements? [closed]

Awarded Jan 22 at 11:05

AmirHosein Adavoudi

1112 bronze badges

Queueing Delay Calculation

Awarded Jan 22 at 3:49

califor

11 bronze badge

Sorting algorithm for patterns values

Awarded Jan 21 at 16:30

Koyo

13 bronze badges

Does an algorithm's space complexity include input?

Awarded Jan 21 at 1:26

subasri_

494 bronze badges

Generate a minimum number of clauses in 3-CNF form that give a unique solution

Awarded Jan 20 at 15:05

PeterMacGonagan

33 bronze badges

(post deleted or otherwise unavailable)

Awarded Jan 19 at 18:46

ily

12 bronze badges

Is there a design pattern or an algorithm for working adaptively to the load?

Awarded Jan 19 at 11:26

nimdrak

113 bronze badges

Traveling salesman problem with dynamic edge costs

Awarded Jan 19 at 9:42

Thomas

1012 bronze badges

Time complexity of a 2-heap question

Awarded Jan 19 at 4:40

Rusurano

137 bronze badges

Is there an algorithm that can get the minimal element of a min-heap in O(log* n)?

Awarded Jan 18 at 13:36

Alina

11 bronze badge

What is the formal definition of a combinational logic?

Awarded Jan 18 at 6:11

Shadow43375

1112 bronze badges

given an integer array of length n, find tuples $(a,b,c,d)$ such that $d=\sqrt{a^2+b^2+c^2}$

Awarded Jan 17 at 23:32

higgs boson

11 bronze badge

Floating-point modular multiplication algorithm

Awarded Jan 17 at 15:16

phil5

212 bronze badges

A variation of the maximum bipartite matching problem

Awarded Jan 17 at 12:28

Soha

155 bronze badges

Data hazard in MIPS: SW after ADD

Awarded Jan 16 at 9:52

samli50801

112 bronze badges

How to define soundness and completeness of a transformation algorithm?

Awarded Jan 16 at 6:57

yegor256

1115 bronze badges

Are there any implementations of algorithms on hardware that are (nearly) optimal?

Awarded Jan 16 at 1:25

Tamay

1033 bronze badges

2 3 4 5

…

255 Next