The logical expression of graph properties

2005 ◽  
pp. 38-40 ◽  
Author(s):  
Bruno Courcelle
Keyword(s):  
Graph Properties ◽  
Logical Expression

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

The concept of learning: Once more with (logical) expression

Synthese ◽  
1982 ◽  
Vol 51 (1) ◽  
pp. 87-116 ◽  
Author(s):  
James E. McClellan
Keyword(s):  
Logical Expression

You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs

2021 ◽  
Vol 20 (5s) ◽  
pp. 1-25
Author(s):  
Michael Canesche ◽  
Westerley Carvalho ◽  
Lucas Reis ◽  
Matheus Oliveira ◽  
Salles Magalhães ◽  
...  
Keyword(s):  
Execution Time ◽  
High Performance ◽  
Coarse Grained ◽  
Optimal Placement ◽  
Greedy Heuristics ◽  
High Quality ◽  
Solution Quality ◽  
Graph Traversal ◽  
Trade Offs ◽  
Graph Properties

Coarse-grained reconfigurable architecture (CGRA) mapping involves three main steps: placement, routing, and timing. The mapping is an NP-complete problem, and a common strategy is to decouple this process into its independent steps. This work focuses on the placement step, and its aim is to propose a technique that is both reasonably fast and leads to high-performance solutions. Furthermore, a near-optimal placement simplifies the following routing and timing steps. Exact solutions cannot find placements in a reasonable execution time as input designs increase in size. Heuristic solutions include meta-heuristics, such as Simulated Annealing (SA) and fast and straightforward greedy heuristics based on graph traversal. However, as these approaches are probabilistic and have a large design space, it is not easy to provide both run-time efficiency and good solution quality. We propose a graph traversal heuristic that provides the best of both: high-quality placements similar to SA and the execution time of graph traversal approaches. Our placement introduces novel ideas based on “you only traverse twice” (YOTT) approach that performs a two-step graph traversal. The first traversal generates annotated data to guide the second step, which greedily performs the placement, node per node, aided by the annotated data and target architecture constraints. We introduce three new concepts to implement this technique: I/O and reconvergence annotation, degree matching, and look-ahead placement. Our analysis of this approach explores the placement execution time/quality trade-offs. We point out insights on how to analyze graph properties during dataflow mapping. Our results show that YOTT is 60.6 , 9.7 , and 2.3 faster than a high-quality SA, bounding box SA VPR, and multi-single traversal placements, respectively. Furthermore, YOTT reduces the average wire length and the maximal FIFO size (additional timing requirement on CGRAs) to avoid delay mismatches in fully pipelined architectures.

THE CONJUGACY CLASSES OF SOME FINITE METABELIAN GROUPS AND THEIR RELATED GRAPHS

2016 ◽  
Vol 79 (1) ◽  
Author(s):  
Nor Haniza Sarmin ◽  
Ain Asyikin Ibrahim ◽  
Alia Husna Mohd Noor ◽  
Sanaa Mohamed Saleh Omer
Keyword(s):  
Graph Theory ◽  
Conjugacy Class ◽  
Dihedral Group ◽  
Clique Number ◽  
Conjugacy Classes ◽  
Quaternion Group ◽  
Metabelian Groups ◽  
Dominating Number ◽  
Graph Properties ◽  
Class Graph

In this paper, the conjugacy classes of three metabelian groups, namely the Quasi-dihedral group, Dihedral group and Quaternion group of order 16 are computed. The obtained results are then applied to graph theory, more precisely to conjugate graph and conjugacy class graph. Some graph properties such as chromatic number, clique number, dominating number and independent number are found.   

Reciprocal degree distance and graph properties

2019 ◽  
Vol 258 ◽  
pp. 1-7
Author(s):  
Mingqiang An ◽  
Yinan Zhang ◽  
Kinkar Ch. Das ◽  
Liming Xiong
Keyword(s):  
Graph Properties ◽  
Degree Distance

scholarly journals Modal Expressiveness of Graph Properties

2008 ◽  
Vol 205 ◽  
pp. 31-47 ◽  
Author(s):  
Mario R.F. Benevides ◽  
L. Menasché Schechter
Keyword(s):  
Graph Properties
Sign in / Sign up

Export Citation Format

Share Document