zschoche
Re:Database Fundamentals
on Friday December 15, 2023 @03:39PM (#38658520)
Quick question: what are the NP-hard problems in the database area?
Re:Link-Time Optimisation (LTO)
on Friday November 10, 2023 @07:29AM (#38218055)
It would be great if someone could precisely define what is the goal we would like to optimize. In mathematical terms.
Re:A Linear Algebra Trick for Computing Fibonacci Numbers Fast
on Tuesday November 07, 2023 @12:13AM (#38173528)
Nit: if number n is given in binary representation in the input, then an O(n)-algorithm runs in exponential time as n is an exponential function of log(n). Hence, log(n)^O(1)-time algorithms for the Fibonacci number are reasonable to exist, unless the decision version of the Fibonacci number is NP-hard.
Re:You (Probably) Shouldn't Use a Lookup Table
on Monday October 09, 2023 @04:44PM (#37825270)
Well, it always depends on what you lookup i.e. how much time one needs to compute entries of the given lookup table. If it takes O(2^n) time , then payback comes quickly, where n is the input size. It’s good advice to be very skeptical if one drops general statements like that. Look for algorithms with the best worst -case time complexity is a good start. It will always win. Theory works. Question is only of big the input has to be in order to see that. Here, the fun part starts I guess.
Re:Modern SAT solvers: fast, neat and underused
on Saturday August 04, 2018 @02:59PM (#17688034)
Okay let (P,k) be a parameterized problem which admits a fixed-parameter algorithm with respect to k.
That means you have an algorithm which runs in f(k)n time, where n is the input size and f is a function only depending on k (for example (2^k)*n). Hence, if your real-world instances have always a small k then you can solve arbitrary large instances. Note that one problem can have a lot of different parameters and not all admitting such an algorithm (unless the world is very different than we believe). Now let (P’,h) be another parameterized problem and you have a polynomial time reduction from P’ to P. Then, this reduction gives you a fixed-parameter algorithm for P’ with respect to h if the value of k in the reductions depends only on h and nothing else.
Re:Modern SAT solvers: fast, neat and underused
on Saturday August 04, 2018 @04:50AM (#17685997)
if a problem is NP-hard does not mean that each instance is hard to solve. From my experience many instances appearing in practice are easy to solve even if there very large. The problem with these instances is that it takes to much space to write done the SAT-formual. So you do not even get to the point where you would run the solver. But a simple problem specific search tree algorithm has no problem with solving it. Bottom line, if you really need to solve a NP-hard problem then you might want to look for fixed-parameter tractable algorithms.
Extpp – Ext2 Implementation, header-only, C++14
One Hacker Way – Agile Is Dead (2014)
Boost::variant vs. polymorphism, very different results with clang and gcc
Re:Demystifying C++ lambdas
on Saturday August 23, 2014 @03:23AM (#8215251)
In most cases, lambdas are rvalues. That can have an impact on its scope and lifetime.
Make C++ Smart Pointers A Bit Smarter
Make C++ Smart Pointers A Bit Smarter
Why C++ for Unreal 4
Way of a Warrant
Re:Framework 7 – Building native iOS apps in HTML5
on Friday March 21, 2014 @10:28AM (#7442483)
There is nothing native. Go home and read a books.
Re:Talloc: The Tutorial
on Sunday December 08, 2013 @06:26AM (#6869501)
It looks like they understand memory as a tree, but in complex structures it's a graph. I couldn't found how they handle ring topologies. I guess, this stealing stuff doesn't help.
Re:Clocks Are Bad, Or, Welcome to the World of Distributed Systems
on Wednesday November 13, 2013 @02:40AM (#6723898)
Decades ago albert einstein introduced the general theory of relativity, which is already telling us that timestamps are bad for synchronisation.
Re:C++, it's time to go
on Saturday October 19, 2013 @05:04AM (#6575841)
Not sure what is meant by "research".
It would be nice to justify statements. To write something in upper cases isn't a justification and doesn't make sense.
Each new programming language seems to be better and so on. But if we are looking to the hottest shit on the planet of the past year like java, ruby, python, etc. we can say that we didn't know their problems at the beginning.
Re:Poll: What are your liked and disliked programming languages?
on Thursday October 10, 2013 @11:21AM (#6528198)
Go - Like
Re:Poll: What are your liked and disliked programming languages?
on Thursday October 10, 2013 @11:20AM (#6528197)
C++ - Like
Re:Monitor your Website’s Uptime with Google Docs
on Tuesday October 01, 2013 @12:36PM (#6477240)
Why exactly does need this app access to all my data at google?
Scary