Výsledky vyhledávání - Graph Theory—Graph algorithms General Terms Languages*

ON EXPERIMENTAL PROOF OF "P VERSUS NP" THEOREM.

Alternate Title: «P қарсы NP» теоремасын тәжiрибе жүзiнде дәлелдеу туралы. (Kazakh)
Об экспериментальном доказательстве теоремы «P против NP». (Russian)

Autoři: Syzdykov, M. B. Kardeis, Y. L.

Zdroj: Journal of Mathematics, Mechanics & Computer Science; 2025, Vol. 127 Issue 3, p66-95, 30p

Témata: NP-complete problems, MATHEMATICS, ALGORITHMS, ROBOTS, FACTORIALS, POLYNOMIAL time algorithms

A general parsing algorithm with context matching for context-sensitive graph grammars.

Autoři: Zou, Yang Zeng, Xiaoqin Zhu, Yun

Zdroj: Multimedia Tools & Applications; Jan2022, Vol. 81 Issue 1, p273-297, 25p

Témata: GRAPH grammars, GRAPH algorithms, PROGRAMMING languages, ALGORITHMS

Handling irreducible loops: Optimized node splitting vs. dj-graphs

Autoři: Sebastian Unger Frank Mueller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sebastian Unger Frank Mueller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/toplas2184.pdf.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors|compilers, optimization, E.1 [Data, Data Structures|graphs, G.2.2 [Discrete Mathematics, Graph Theory|graph algorithms General Terms, Algorithms, Languages Additional Key Words and Phrases, Compilation, control ow graphs, loops, irreducible ow- graphs, node splitting

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.3729; http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/toplas2184.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.3729
http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/toplas2184.pdf

A new, simpler linear-time dominators algorithm

Autoři: Adam L. Buchsbaum Haim Kaplan Anne Rogers a další

Přispěvatelé: Adam L. Buchsbaum Haim Kaplan Anne Rogers a další

Zdroj: http://adambuchsbaum.com/papers/dom-toplas.pdf.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—compilers, E.1 [Data Structures, Graphs and Networks, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, G.2.2 [Discrete Mathematics, Graph Theory—graph algorithms General Terms, Algorithms, Languages, Performance, Theory Additional Key Words and Phrases, Compilers, dominators, flowgraphs, microtrees, path com

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.2152

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.2152
http://adambuchsbaum.com/papers/dom-toplas.pdf

Precise interprocedural dataflow analysis via graph reachability

Autoři: Thomas Reps Mooly Sagiv Susan Horwitz a další

Přispěvatelé: Thomas Reps Mooly Sagiv Susan Horwitz a další

Zdroj: http://www.cs.wisc.edu/wpis/papers/diku-tr94-14.pdf.

Témata: CR Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors − compilers, optimization, E.1 [Data Structures] − graphs, F.2.2 [Analysis of Algorithms and Problem Complexity, Complexity of Algorithms, Nonnumerical Algorithms and Problems − computations on discrete structures, G.2.2 [Discrete Mathematics, Graph Theory − graph algorithms General Terms, Algorithms, Theory Additional Key Words and Phrases, demand dataflow analysis, distributive dataflow framework, flow-sensitive side-effect analysis, function representation, graph reachability, interprocedural dataflow analysis, interprocedural program slicing, interprocedurally realizable path, interprocedurally valid path, meet-over-all-valid-paths solution

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4141

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4141
http://www.cs.wisc.edu/wpis/papers/diku-tr94-14.pdf

APPROXIMATE HYPERGRAPH VERTEX COVER AND GENERALIZED TUZA'S CONJECTURE.

Autoři: GURUSWAMI, VENKATESAN SANDEEP, SAI

Zdroj: SIAM Journal on Discrete Mathematics; 2025, Vol. 39 Issue 2, p1312-1334, 23p

Témata: HYPERGRAPHS, APPROXIMATION algorithms, COMBINATORIAL optimization

Unifying Framework for Optimizations in Non-Boolean Formalisms.

Autoři: LIERLER, YULIYA

Zdroj: Theory & Practice of Logic Programming; Nov2023, Vol. 23 Issue 6, p1248-1280, 33p

Témata: KNOWLEDGE representation (Information theory), PROGRAMMING languages, ARTIFICIAL intelligence, LINEAR programming, INTEGER programming, SEARCH algorithms, NONMONOTONIC logic

Identifying Loops In Almost Linear Time

Autoři: G. Ramalingam The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: G. Ramalingam The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.research.ibm.com/people/r/rama/Papers/toplas99.ps.

Témata: ers, optimization, E.1 [Data, Data Structures---graphs, trees, G.2.2 [Discrete Mathematics, Graph Theory---graph algorithms General Terms, Algorithms, Languages Additional Key Words and Phrases, loops, irreducible flowgraphs

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5381; http://www.research.ibm.com/people/r/rama/Papers/toplas99.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5381
http://www.research.ibm.com/people/r/rama/Papers/toplas99.ps

A novel approach to pessimistic bilevel problems. An application to the rank pricing problem with ties.

Autoři: Calvete, Herminia I. Galé, Carmen Hernández, Aitor a další

Zdroj: Optimization; Sep2025, Vol. 74 Issue 12, p2823-2856, 34p

Témata: BILEVEL programming, MIXED integer linear programming, COMPUTER simulation, MULTI-objective optimization, MATHEMATICAL inequalities, OPTIMIZATION algorithms, MATHEMATICAL optimization

Compound Logics for Modification Problems.

Autoři: Fomin, Fedor V. Golovach, Petr A. Sau, Ignasi a další

Zdroj: ACM Transactions on Computational Logic; Jan2025, Vol. 26 Issue 1, p1-57, 57p

Témata: FIRST-order logic, GRAPH theory, MODEL theory, LOGIC, MINORS

MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS.

Autoři: CALEIRO, CARLOS MARCELINO, SÉRGIO

Zdroj: Journal of Symbolic Logic; Jun2024, Vol. 89 Issue 2, p583-636, 54p

Témata: SEMANTICS (Philosophy), MANY-valued logic, BOOLEAN matrices, GENERAL semantics, SEMANTICS

Clone detection in automotive model-based development

Autoři: Florian Deissenboeck Benjamin Hummel Elmar Juergens a další

Přispěvatelé: Florian Deissenboeck Benjamin Hummel Elmar Juergens a další

Zdroj: http://www4.cs.tum.edu/~deissenb/publications/2008_deissenboeckf_model_clones.pdf.

Témata: Categories and Subject Descriptors D.2.13 [Software Engineering, Reusable Software—Re- usable libraries, Reuse models, G.2.2 [Discrete Mathe- matics, Graph Theory—Graph algorithms General Terms Algorithms, Design, Experimentation, Measurement Keywords Clone detection, model clone, Matlab/Simulink, data-flow

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.1446; http://www4.cs.tum.edu/~deissenb/publications/2008_deissenboeckf_model_clones.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.631.1446
http://www4.cs.tum.edu/~deissenb/publications/2008_deissenboeckf_model_clones.pdf

Innovative research on college English grammar teaching and the introduction of sustainable education concept from the perspective of linguistics: An analysis using PLS-SEM algorithm.

Autoři: Xuan, Gang Han, Bing Wang, Dan

Zdroj: Journal of Computational Methods in Sciences & Engineering; Nov2025, Vol. 25 Issue 6, p5017-5027, 11p

Témata: LINGUISTICS, INSTRUCTIONAL innovations, ENGLISH grammar education, CURRICULUM planning, EDUCATIONAL innovations, EXPRESSIVE language, PARTIAL least squares regression, TEACHING methods

A yoke of oxen and a thousand chickens for heavy lifting graph processing

Autoři: Abdullah Gharaibeh Lauro Beltrão Costa Elizeu Santos-neto a další

Přispěvatelé: Abdullah Gharaibeh Lauro Beltrão Costa Elizeu Santos-neto a další

Zdroj: http://ece.ubc.ca/~abdullah/papers/gharaibeh-pact12.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.4 [Programming Languages, Processors – Run-time Environments, D.4.8 [Operating Systems, Performance – Measurements, Modeling and Prediction, G.2.2 [Discrete Mathematics, Graph Theory – Graph Algorithms. General Terms Algorithms, Performance, Design, Experimentation. Keywords Heterogeneous Systems, GPU, Graph Algorithms, Breadth-first Search, PageRank, TOTEM

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.7269

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.7269
http://ece.ubc.ca/~abdullah/papers/gharaibeh-pact12.pdf

A Zykov algebra approach to clique propagation: Classifying clique complexes in graphs.

Autoři: Bustamante, Alfonso Umbrey, Gete Moyong, Botem a další

Zdroj: Discrete Mathematics, Algorithms & Applications; Aug2025, Vol. 17 Issue 6, p1-32, 32p

Témata: GRAPH theory, SUBGRAPHS, STRUCTURAL analysis (Engineering), COMPUTER science, DIAGNOSTIC imaging

Quantifying artificial intelligence through algorithmic generalization.

Autoři: Ito, Takuya Campbell, Murray Horesh, Lior a další

Zdroj: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

Subexponential Parameterized Algorithms on Bounded-Genus Graphs and H-Minor-Free Graphs.

Autoři: Demaine, Erik D. Fomin, Fedor V. Hajiaghayi, Mohammadtaghi a další

Zdroj: Journal of the ACM; Nov2005, Vol. 52 Issue 6, p866-893, 28p

Témata: ALGORITHMS, GRAPHIC methods, GRAPH theory, ALGEBRA, COMBINATORICS

Research on group type theory and its functorial semantic models in category logic.

Autoři: Tang, Jian-Gang Aishan, Yimamujiang Liu, Ji-Yu a další

Zdroj: PLoS ONE; 6/24/2025, Vol. 20 Issue 6, p1-17, 17p

Témata: CONCRETE construction, ALGEBRAIC equations, GROUP theory, LIMITS (Mathematics), DATA structures

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Abstract Communication Optimizations for Global Multi-Threaded Instruction Scheduling

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://liberty.princeton.edu/Publications/asplosxiii_mtcgco.pdf.

Témata: processors (MIMD, G.2.2 [Discrete Mathematics, Graph Theory — graph algorithms General Terms Algorithms, Languages, Performance Keywords multi-threading, instruction scheduling, communication, synchronization, data-flow analysis, graph min-cut

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.153; http://liberty.princeton.edu/Publications/asplosxiii_mtcgco.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.153
http://liberty.princeton.edu/Publications/asplosxiii_mtcgco.pdf