New: tcsAll contenthive-129948hive-196917krzzansteemhive-183959hive-180932hive-150122hive-185836uncommonlabphotographylifehive-166405hive-183397hive-144064bitcoinhive-139150hive-188619krsuccesshive-101145hive-180301hive-124908hive-103599hive-109690hive-184714TrendingNewHotLikerswhydonate (32)in amsterdam • 2 years agoAmsterdam Marathon | tcs Amsterdam marathon | Half marathon AmsterdamWhat Is Amsterdam Marathon The Amsterdam Marathon, which is sponsored by Tata Consultancy Services (TCS), takes place every year in the Netherlands. It covers a distance of 42.195 kilometres. Apart…kisscrypto.com (42)in gemini • 4 years agoCrypto Weekly Digest#101.Gemini Launches in UK as Part of Global Expansion 2.TCS And Yale University Develop Secure, Private Off-Grid Networking Platform Using Blockchain 3.Binance…khalil319 (54)in hive-142013 • 4 years ago💣 Tata Consultancy Services spearheads Indian Crypto Revolutionmarkgritter (59)in theory • 6 years agoExistence properties for first-order number theory are all finitely checkableOK, 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…changingworld (48)in dlike • 6 years agoTCS gifts wristwatches to its workers, they don’t like it. Want jewellery, home instead - Business NewsEmployee of tcs the biggest IT Firm are disappointed from the gifts they have got at 50th year celebration of the company. Source of shared Linkaevaran (6)in benefit • 6 years agoTCS Walk Quarter Benefit At Rs. 8,126 Crore, Beats Examiners' AppraisalsTata 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…shreyasgkamath (25)in blockchain • 6 years agoTCS to drive blockchain technologyTCS 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…markgritter (59)in steemstem • 6 years agoWhat 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…markgritter (59)in chess • 6 years agoGeneralized Chess is PSPACE-CompleteThe 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…markgritter (59)in tcs • 6 years agoWhat 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…markgritter (59)in steemstem • 6 years agoAn impractical reduction: factoring->3SAT->SUBSETSUMThe 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…markgritter (59)in mathematics • 6 years agoIntegers with low Kolmogorov complexityI 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.…markgritter (59)in steemstem • 6 years agoTwo Proofs of the Undecidability of the Halting ProblemThe 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…markgritter (59)in mathematics • 6 years agoAsymptotic Bounds You May Not Have Learned In SchoolComputer 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…markgritter (59)in steemstem • 6 years agoLower bounds on time complexityI'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…markgritter (59)in steemstem • 6 years agoLeonid Levin's Universal AlgorithmThere'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…markgritter (59)in steemstem • 6 years agoThe Computational Complexity of Some Logical TheoriesI'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 I…markgritter (59)in steemstem • 6 years agosteemCreated with Sketch.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…nithin1479 (25)in mgsc • 6 years agoAPPLE TCS IN BLOCKCHAINapples and tcs are very likely to come to blockchain and investsquasher687 (25)in bitcoin • 6 years agoA big boost for Blockchain - Biggest IT giant getting into it!!Well, the days are not far when we are going to witness a huge boost in Blockchain technology and it will soon be getting adopted by masses includes individual investors, institutional investors…