DeepAI AI Chat
Log In Sign Up

P vs NP

09/30/2022
∙
by   Jian-Gang Tang, et al.
∙
NetEase, Inc
∙
0
∙

In this paper, we discuss the 𝒩𝒫 problem using the Henkin's Theory and the Herbrand Theory in the first-order logic, and prove that 𝒫 is a proper subset of 𝒩𝒫.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 03/09/2018

A theory of NP-completeness and ill-conditioning for approximate real computations

We develop a complexity theory for approximate real computations. We fir...
0 Gregorio Malajovich, et al. ∙
research
∙ 03/28/2022

Information Theory and Point Processes

This paper addresses theoretically correct vs. incorrect ways to apply i...
0 Ronald Mahler, et al. ∙
research
∙ 02/22/2022

P-class is a proper subclass of NP-class; and more

We may give rise to some questions related to the mathematical structure...
0 JongJin Kim, et al. ∙
research
∙ 10/21/2014

Towards a Model Theory for Distributed Representations

Distributed representations (such as those based on embeddings) and disc...
0 Ramanathan Guha, et al. ∙
research
∙ 06/20/2019

Computer-Simulation Model Theory (P= NP is not provable)

The simulation hypothesis says that all the materials and events in the ...
0 Rasoul Ramezanian, et al. ∙
research
∙ 09/04/2017

A Computer Composes A Fabled Problem: Four Knights vs. Queen

We explain how the prototype automatic chess problem composer, Chestheti...
0 Azlan Iqbal, et al. ∙
research
∙ 01/27/2020

Formalization of Forcing in Isabelle/ZF

We formalize the theory of forcing in the set theory framework of Isabel...
0 Emmanuel Gunther, et al. ∙

Sign up for DeepAI

Already have an account? Login here

Login to DeepAI

Don't have an account? Signup here

Become a DeepAI PRO

$4.99/mo
500 AI generator calls per month + $5 per 500 more (includes images)
1750 AI Chat messages per month + $5 per 1750 more
60 Genius Mode messages per month + $5 per 60 more
HD image generator access
Private image generation
Complete styles library
API access
Ad-free experience
*
This is a recurring payment that will happen monthly
*
If you exceed number of images or messages listed, they will be charged at a rate of $5

Pay as you go

Starting at $5 for
100 AI Generator Calls (includes images)
350 AI Chat messages
Does not include Genius Mode
Private image generation
Complete styles library
API access
Ad-free experience

Out of credits

Your DeepAI PRO account is out of credits - your current balance is $-0.50
Please refill your account to continue using DeepAI PRO.

SHARE