#tcsUnmoderated tagAll postsExplore CommunitiesTrending CommunitiesSteemitCryptoAcademyNewcomers' Communityআমার বাংলা ব্লগKorea • 한국 • KR • KOSteem AllianceSTEEM CN/中文WORLD OF XPILARComunidad LatinaAVLE 일상Steem POD TeamBeauty of CreativityTron Fan Club#tcsTrendingHotNewPayoutsMutedwhydonate (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…kisscrypto.com (42)in #gemini • 5 years agoCrypto Weekly Digest#101.Gemini Launches in UK as Part of Global Expansion 2.TCS And Yale University Develop Secure, Private…khalil319 (54)in APPICS • 5 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…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…aevaran (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…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…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…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…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)…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…markgritter (59)in #steemstem • 7 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…markgritter (59)in #steemstem • 7 years agoLower bounds on time complexityI'm (slowly) continuing to read The Computational Complexity of Logical Theories , and it came in useful answering…markgritter (59)in #steemstem • 7 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…markgritter (59)in #steemstem • 7 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…markgritter (59)in #steemstem • 7 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…nithin1479 (25)in #mgsc • 7 years agoAPPLE TCS IN BLOCKCHAINapples and tcs are very likely to come to blockchain and investsquasher687 (25)in #bitcoin • 7 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…rahulpawar (39)in #infosys • 7 years agoInfosys Vs TCSIndian Information Technology Sector Revolution. Infosys and TCS both announced their first-quarter earnings.…tayaba81 (29)in #tcs • 7 years agoTCS eyes $200 million in revenue from blockchain in FY19TCS first put its weight behind blockchain two years back when it first started to work on BaNCS, based on the…