About: On reducibility and symmetry of disjoint NP pairs.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: On reducibility and symmetry of disjoint NP pairs. Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We consider some problems about pairs of disjoint NP sets. The theory of these sets with a natural concept of reducibility is, on the one hand, closely related to the theory of proof systems for propositional calculus, and, on the other, it resembles the theory of NP completeness. Furthermore, such pairs are important in cryptography. Among others, we prove that the Broken Mosquito..... We consider some problems about pairs of disjoint NP sets. The theory of these sets with a natural concept of reducibility is, on the one hand, closely related to the theory of proof systems for propositional calculus, and, on the other, it resembles the theory of NP completeness. Furthermore, such pairs are important in cryptography. Among others, we prove that the Broken Mosquito..... (en)
Title	On reducibility and symmetry of disjoint NP pairs. On reducibility and symmetry of disjoint NP pairs. (en)
skos:prefLabel	On reducibility and symmetry of disjoint NP pairs. On reducibility and symmetry of disjoint NP pairs. (en)
skos:notation	RIV/67985840:_____/03:05030044!RIV/2004/MSM/A05004/N
http://linked.open.../vavai/riv/strany	323;339
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(IAA1019901), P(LN00A056), Z(AV0Z1019905)
http://linked.open...iv/cisloPeriodika	N/A
http://linked.open...vai/riv/dodaniDat	2004
http://linked.open...aciTvurceVysledku	Pudlák, Pavel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	619399
http://linked.open...ai/riv/idVysledku	RIV/67985840:_____/03:05030044
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	disjoint NP-pairs; polynomial reducibility; propositional proof systems (en)
http://linked.open.../riv/klicoveSlovo	disjoint NP-pairs polynomial reducibility propositional proof systems
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[0E4D32B35FD5]
http://linked.open...i/riv/nazevZdroje	Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute of Theoretical Computer Science (Center of Young Science) Mathematical logic and computational complexity
http://linked.open...UplatneniVysledku	2003
http://linked.open...v/svazekPeriodika	295
http://linked.open...iv/tvurceVysledku	Pudlák, Pavel
http://linked.open...n/vavai/riv/zamer	Complex development of all branches of mathematics with regard to the needs of physics and technology
issn	0304-3975
number of pages	17 (xsd:int)

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software