Login
Discover
Waves
Decks
Upgrade
Login
Signup
Topics
New
Trending
Hot
New
New
Trending
Hot
New
Controversial
Rising
Promoted
tcs
chapter17art
comedy
Saturday, February 27, 2021 9:41 AM
The CRINGE SHOW, Episode 9
Pink and Blue giving some life advice to Yellow.
$ 0.000
0
chapter17art
cryptoart
Friday, February 26, 2021 6:55 AM
The CRINGE SHOW, Episode 8
The heart loves what it loves.
$ 0.000
0
chapter17art
cringe
Thursday, February 25, 2021 8:59 AM
The CRINGE SHOW, Episode 7
The classic one
$ 0.000
0
chapter17art
nft
Tuesday, February 23, 2021 7:59 AM
The CRINGE SHOW, Episode 5
Pink, Blue and their memories.
$ 0.000
0
dreloop07
PRAETORIA
Monday, August 4, 2025 1:56 AM
Promoted
✨ Frontier Mode: The New Era of Strategy in Splinterlands.
Hello everyone, welcome to @dreloop07 with the arrival of Frontier Mode—an innovative format that seeks to balance accessibility, strategy, and digital ownership.
$ 10.261
213
1
2
chapter17art
nft
Monday, February 22, 2021 7:28 AM
The CRINGE SHOW, Episode 4
Pink shows her preferences. Blue tries to score.
$ 0.000
0
markgritter
theory
Monday, May 6, 2019 5:00 AM
Existence properties for first-order number theory are all finitely checkable
OK, that's a mouthful. I wrote an answer to How can I show that a function is not computable over at Quora, which brought up the Busy Beaver function. BB(n) is a typical example of a non-computable function.
$ 0.647
314
1
changingworld
dlike
Tuesday, April 16, 2019 3:46 PM
TCS gifts wristwatches to its workers, they don’t like it. Want jewellery, home instead - Business News
Employee of tcs the biggest IT Firm are disappointed from the gifts they have got at 50th year celebration of the company. Source of shared Link
$ 0.000
4
aevaran
benefit
Saturday, April 13, 2019 10:45 AM
TCS Walk Quarter Benefit At Rs. 8,126 Crore, Beats Examiners' Appraisals
Tata Consultancy Services (TCS) on Friday reported a net profit of Rs. 8,126 crore for the quarter ended March 31, 2019, beating analysts' estimates. That marked growth of 0.3 percent from its record net
$ 0.000
2
4
marc-allaria
Photography Lovers
Monday, August 4, 2025 10:43 PM
Promoted
DIVING AT MAIO ISLAND 🇫🇷/🇬🇧
DIVING AT MAIO ISLAND - 6 PHOTOS
$ 0.380
39
1
1
shreyasgkamath
blockchain
Friday, March 15, 2019 1:57 AM
TCS to drive blockchain technology
TCS to drive blockchain reception 1 min read . 14 Mar 2019 IANS The new TCS arrangements will utilize Microsoft Azure Blockchain Cloud TCS has been effectively conveying its "Quartz Blockchain
$ 0.000
0
1
markgritter
steemstem
Monday, December 17, 2018 4:19 AM
What does the AC0 complexity class mean?
AC^0 is a circuit complexity class. It represents the set of decision problems that are solvable with a family of constant-depth unlimited-fanin polynomial-size circuits. Photo by Yung Chang on Unsplash.
$ 1.288
212
4
markgritter
chess
Saturday, November 24, 2018 1:47 AM
Generalized Chess is PSPACE-Complete
The paper "On the complexity of chess" by James A Storer is available online, and it’s fairly readable. It demonstrates that deciding the winner in chess (expanded to NxN boards, with correspondingly
$ 0.084
16
markgritter
tcs
Tuesday, November 20, 2018 9:47 AM
What makes any NP-complete problem also a PSPACE problem?
For any f(n), DTIME(f(n)) ⊆ SPACE(f(n)). This is because if you run for f(n) steps you can write to at most f(n) locations. (The reverse, of course, is not true.) The same applies for nondeterministic
$ 0.930
170
1
rivereyesmusic
Liketu
Saturday, August 2, 2025 1:17 PM
Promoted
Dona selfies ;) 🥯
Fotos creativas con una dona ;) estamos locas jajaja
$ 1.245
49
1
markgritter
steemstem
Saturday, November 17, 2018 8:38 PM
An impractical reduction: factoring->3SAT->SUBSETSUM
The Subset Sum problem is NP-complete, but what does a reduction from another problem actually look like? I set out to create a concrete example. Let's start with factoring. What are the factors of 91?
$ 2.890
270
1
markgritter
mathematics
Sunday, October 28, 2018 12:54 AM
Integers with low Kolmogorov complexity
I found this cute sequence in the Online Encyclopedia of Integer Sequences: A168650: Integers that can be generated with a C/C++ expression that is shorter than their decimal representation. The
$ 2.487
178
3
markgritter
steemstem
Tuesday, October 2, 2018 5:17 AM
Two Proofs of the Undecidability of the Halting Problem
The Halting Problem is whether or not a given Turing machine halts on a given input. This is the classic example of an undecidable problem, one that no Turing machine can accurately and completely solve.
$ 12.764
208
3
markgritter
mathematics
Saturday, September 8, 2018 5:43 PM
Asymptotic Bounds You May Not Have Learned In School
Computer Science education teaches "Big O" notation for describing complexity upper bounds, and Big-Theta and Big-Omega get introduced as well. Mathematicians and complexity theorists sometimes
$ 4.320
171
4
1
darth-azrael
photography
Monday, August 4, 2025 1:33 PM
Promoted
Vintage Photos - Lot 3 (657-660)
All of the photos in this set were taken in June 1957 according to dates hand written on the slides. These seem to be a continuation of the previous set and were all taken in Marineland, Florida.
$ 1.920
34
1
markgritter
steemstem
Friday, September 7, 2018 12:45 AM
Lower bounds on time complexity
I'm (slowly) continuing to read The Computational Complexity of Logical Theories, and it came in useful answering this Quora question: Can we predict [time] complexity before writing an algorithm? Here's
$ 4.308
161
2
markgritter
steemstem
Thursday, August 23, 2018 10:11 PM
Leonid Levin's Universal Algorithm
There's an algorithm which solves SAT instances in polynomial time, if and only if P=NP. If P=NP, then it runs in polynomial time. If P is not equal to NP, it runs in the best possible non-polynomial time
$ 3.675
182
6
1
markgritter
steemstem
Monday, August 20, 2018 8:48 PM
The Computational Complexity of Some Logical Theories
I'm reading a book from 1979 by Jeanne Ferrante and Charles W. Rackoff: "The Computational Complexity of Logical Theories." Though it's now nearly 40 years old, it still gets cited often, so
$ 0.189
12
1
markgritter
steemstem
Friday, August 3, 2018 5:54 AM
This set of equations is a computer.
Hilbert's Tenth Problem from his famous list published in 1900, asks whether it is possible to create an algorithm which solves every Diophantine equation, that is, one whose solutions must be integers.
$ 6.914
192
4
1
Top communities
Create decentralized community