<s>[INST]Presburger sorununa rağmen ve kararsızlığı göz önünde bulundurarak makul bir sürede çözümler oluşturmak için neler yapıldı?[/INST]Uygulamadaki anlamsızlık ne demek pratikte tartışmaya açık. Bir sorunun P'de olmadığını söylemek, sorunun tüm büyük vakalarının zor olduğunu veya çoğunun bile olduğu anlamına gelmez. Örneğin, Presburger aritmetiğindeki karar sorununun P'de olmadığı, ancak çoğu durumda sorunu makul zamanlarda çözen algoritmalar yazıldığını. Benzer şekilde, algoritmalar NP-komple sırt çantası problemini, kuadratik zamandan daha kısa sürede çok çeşitli boyutlarda çözebilirler ve SAT çözücüler NP-eksiksiz Boole tatmin edici probleminin büyük örneklerini rutin olarak ele alırlar.</s>