Dynamic logic (modal logic) - Revision history

en>Frietjes: cleanup (wikitables, html markup, layout, etc.)

2014-08-12T17:15:51Z

cleanup (wikitables, html markup, layout, etc.)

← Older revision		Revision as of 19:15, 12 August 2014
Line 1:		Line 1:
	In [[graph theory]], '''trapezoid graphs''' are [[intersection graph]]s of [[trapezoid]]s between two horizontal lines. They are a class of co-comparability graphs that contain [[interval graph]]s and [[permutation graph]]s as subclasses. A graph is a '''trapezoid graph''' if there exists a set of trapezoids corresponding to the vertices of the graph such that two vertices are joined by an edge if and only if the corresponding trapezoids intersect. Trapezoid graphs were introduced by [[Ido Dagan\|Dagan]], [[Martin Charles Golumbic\|Golumbic]], and [[Ron Pinter\|Pinter]] in 1988. There exists <math>{O}(n\log n)</math> algorithms for chromatic number, weighted [[Independent set (graph theory)\|independent set]], clique cover, and maximum weighted clique.		Article writing and posting on top search engine giant Google really did just change the way it was in the SEM industry committed to being [http://filmy.opowiadaniaerotyczne.biz/user/50782/PThibault/info orlando seo experts]-friendly, ask what force If you loved this informative article and you wish to receive more info relating to [http://www.v2os.cx/wiki/index.php?title=User:LorieRoyston orlando seo consultants] kindly visit our own webpage. ?
	~~[[File:TrapezoidGraphFigure2.jpg\|thumb\|300px\| Figure 2: Trapezoid representation of graph G.]]~~

	~~== Definitions and characterizations ==~~

	~~Given a channel, a pair of two horizontal lines, a trapezoid between these lines is defined by two points~~ on ~~the~~ top ~~and two points on~~ the bottom line. A graph is a trapezoid graph if there exists a set of trapezoids corresponding to the vertices of the graph such that two vertices are joined by an edge if and only if the corresponding trapezoids intersect.
	The interval order dimension of a partially ordered set, <math>P=(X, <)</math>, is the minimum number d of interval orders P<sub>1</sub> … P<sub>d</sub> such that P = P<sub>1</sub>∩…∩P<sub>d</sub>. The incomparability graph of a partially ordered set <math>P=(X, <)</math> is the undirected graph <math>G=(X, E)</math> where ''x'' is adjacent to ''y'' in ~~G if and only if ''x'' and ''y'' are incomparable in P. An undirected graph is a trapezoid graph if and only if it is~~ the incomparability graph of a partial order having interval order dimension at most 2.<ref>Ido Dagan, Martin Charles Golumbic, and Ron Yair Pinter. Trapezoid graphs and their coloring. Discrete Appl. Math., 35–46, 1988.</ref>

	~~== Applications ==~~

	~~The problems of finding maximum cliques and of coloring trapezoid graphs are connected~~ to ~~channel routing problems in~~ [[Very-large-scale integration\|VLSI]] design. Given some labeled terminals on the upper and lower side of a two-sided channel, terminals with the same label will be connected in a common net. This net can be represented by a trapezoid containing the rightmost terminals and leftmost terminals with the same label. Nets may be routed without intersection if and only if the corresponding trapezoids do no intersect. Therefore, the number of layers needed to route the nets without intersection is equal to the graph’s chromatic number.

	~~== Equivalent representations ==~~
	~~=== Trapezoid representation ===~~

	~~Trapezoids can be used to represent a trapezoid graph by using the definition of trapezoid graph. A trapezoid graph, and its corresponding trapezoid representation, can be seen in Figure 1 and 2.~~

	~~=== Box representation ===~~
	Dominating rectangles, or box representation, maps the points on the lower of the two lines of the trapezoid representation as lying on the ''x''-axis and that of the upper line as lying on the ''y''-axis of the Euclidean plane. Each trapezoid then corresponds to an axis-parallel box in the plane. Using the notion of a dominance order (In '''R'''<sup>''K''</~~sup>, ''x'' is said to be dominated by ''y'', denoted ''x'' < ''y'', if ''x<sub>i</sub>'' is less than ''y<sub>i<~~/~~sub>'' for ''i'' = 1, …, ''k''), we say that a box b dominates a box ''b’'' if the lower corner of ''b'' dominates the upper corner of ''b’''~~. ~~Furthermore, if one of two boxes dominates the other we say that they are comparable. Otherwise, they are incomparable~~. Thus, two trapezoids are disjoint exactly if their corresponding boxes are comparable. The box representation is useful because the associated dominance order allows sweep line algorithms to be used.<ref>Stefan Felsner, Rudolf Muller, and Lorenz Wernisch. Trapezoid graphs and generalizations, geometry and algorithms. In Algorithm theory—SWAT ’94 (Aarhus, 1994), volume 824 of Lecture Notes in Comput. Sci., pages 143–154. Springer, Berlin, 1994.</ref> An equivalent box representation for the graph in Figure 1 is shown in Figure 3.

	~~=== Bitolerance graphs ===~~
	~~Bitolerance graphs are incomparability graphs of a bitolerance order. An order is a bitolerance order if and only if there are intervals I<sub>''x''</sub> and real numbers ''t''<sub>1<~~/~~sub>(''x'') and ''t''<sub>''r''</sub>(''x'') assigned to each vertex ''x'' in such a way that ''x'' < ''y'' if and only if the overlap of I<sub>''x''<~~/~~sub> and I<sub>''y''<~~/~~sub> is less than both ''t''<sub>''r''<~~/sub>(''x'') and ''t''<sub>1</sub>(''y'') and the center of I<sub>''x''</sub> is less than the center of I<sub>''y''</sub>.<ref>Kenneth P. Bogart, Garth Isaak. Proper and unit bitolerance orders and graphs. Discrete Mathematics 181(1–3): 37–51 (1998).</ref> In 1993, Langley showed that the bounded bitolerance graphs are equivalent to the class of trapezoid graphs.<ref>Martin Charles Golumbic and Irith B.-A. Hartman, eds., Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications, Springer-Verlag, New York, 2005</ref>

	~~== Relation to other families of graphs ==~~

	The class of trapezoid graphs properly contains the union of interval and permutation graphs and is equivalent to the incomparability graphs of partially ordered sets having interval order dimension at most two. Permutation graphs can be seen as the special case of trapezoid graphs when every trapezoid has zero area. This occurs when both of the trapezoid’s points on the upper channel are in the same position and both points on the lower channel are in the same position.

	~~Like all incomparability graphs, trapezoid graphs are [[perfect graph\|perfect]~~].

	~~=== Circle trapezoid graphs ===~~

	~~Circle trapezoid graphs are a class of graphs proposed by Felsner et al. in 1993. They are a superclass of the trapezoid graph class, and also contain circle graphs and circular~~-arc graphs. A circle trapezoid is the region in a circle that lies between two non-crossing chords and a circle trapezoid graph is the intersection graph of families of circle trapezoids on a common circle. A circle trapezoid graph and its corresponding circle trapezoid representation can be seen in Figure 4. There is an <math>O(n^2)</math> algorithm for maximum weighted independent set problem and an <math>{O}(n^2 \log n)</math> algorithm for the maximum weighted clique problem.

	~~=== ''k''-Trapezoid graphs ===~~
	~~''k''-Trapezoid graphs are an extension of trapezoid graphs to higher dimension orders. They were first proposed by Felsner~~, and they rely on the definition of dominating boxes carrying over to higher dimensions in which a point ''x'' is represented by a vector <math>( x_1, \ldots , x_k )</math>. Using (''k'' − 1)-dimensional range trees to store and query coordinates, Felsner’s algorithms for chromatic number, maximum clique, and maximum independent set can be applied to ''k''-trapezoid graphs in <math>{O}(n \log^{k-1}n)</math> time.

	~~== Algorithms ==~~
	~~Algorithms for trapezoid graphs should be compared with algorithms for general co-comparability graphs. For~~ this larger class of graphs, the maximum independent set and the minimum clique cover problem can be solved in <math>{O}(n^2\log n)</math> time.<ref>R. McConnel and J. Spinrad, Linear-time modular decomposition and ~~efficient transitive orientation of undirected graphs, Proc. 5. Ann. Symp. on Discr. Alg. (1994).</ref>~~
	~~Dagan et al. first proposed an <math>{O}(nk)</math> algorithm for coloring trapezoid graphs, where n is the number of nodes and k is the chromatic number of the graph.~~
	Later, using the box representation of trapezoid graphs, Felsner published <math>{O}(n\log n)</math> algorithms for chromatic number, weighted independent set, clique cover, and maximum weighted clique. These algorithms all require <math>{O}(n)</math> space. These algorithms rely on the associated dominance in the box representation that allows sweeping line algorithms to be used. Felsner proposes using balanced trees that can do insert, delete, and query operations in <math>{O}(\log n)</math> time, which results in <math>{O}(n\log n)</math> algorithms.

	~~== Recognition ==~~
	To determine if a graph <math>{G}</math> is a trapezoid graph, search for a transitive orientation <math>{F}</math> on the complement of <math>{G}</math>. Since trapezoid graphs are a subset of co-comparability graphs, if <math>{G}</math> is a trapezoid graph, its complement <math>{G'}</math> must be a comparability graph. If a transitive orientation <math>{F}</math> of the complement <math>{G'}</math> does not exist, <math>{G}</math> is not a trapezoid graph. If <math>{F}</math> does exist, test to see if the order given by <math>{F}</math> is a trapezoid order. The fastest algorithm for trapezoid order recognition was proposed by McConnell and Spinrad in 1994, with a running time of <math>O(n^2)</math>. The process reduces the interval dimension 2 question to a problem of covering an associated bipartite graph by chain graphs (graphs with no induced 2K<sub>2</sub>).<ref>Golumbic, Martin Charles., and Ann N. Trenk. Tolerance Graphs. Cambridge [u.a.: Cambridge Univ., 2004.</ref>
	Using vertex splitting, the recognition problem for trapezoid graphs was shown by Mertzios and Corneil to succeed in <math>O(n(n+m))</math> time, where <math>m</math> denotes the number of edges. This process involves augmenting a given graph <math>{G}</math>, and then transforming the augmented graph by replacing each of the original graph’s vertices by a pair of new vertices. This “splitted graph” is a permutation graph with special properties if an only if <math>{G}</math> is a trapezoid graph.<ref>G. B. Mertzios and [[~~Derek Corneil\|D. G. Corneil]]. Vertex splitting and the recognition of trapezoid graphs. Discrete Applied Mathematics, 159(11), pages 1131-1147, 2011.</ref>~~

	~~==Notes==~~
	~~{{reflist}}~~

	~~==References==~~

	* {{Cite document
	~~\| author = Golumbic, Martin Charles~~
	~~\| authorlink = Martin Charles Golumbic~~
	~~\| title = Algorithmic Graph Theory and Perfect Graphs~~
	~~\| publisher = Academic Press~~
	~~\| year = 1980~~
	~~\| id = ISBN 0-444-51530-5~~
	~~\| url =~~ http://www.~~elsevier~~.~~com~~/~~wps~~/~~find/bookdescription~~.~~cws_home/699916/description#description~~
	~~\| ref~~ = ~~harv~~
	~~\| postscript = <!--None-->~~
	~~}} Second edition, Annals of Discrete Mathematics 57, Elsevier, 2004.~~

	~~[[Category~~:~~Intersection classes of graphs]]~~
	~~[[Category:Perfect graphs]~~]

en>Hooperbloob: +links

2013-04-08T17:57:27Z

+links

← Older revision		Revision as of 19:57, 8 April 2013
Line 1:		Line 1:
	~~What~~ is ~~important because~~ it is ~~found~~ on ~~search engines~~ - because ~~they~~ are ~~done~~ [~~http:~~//~~www~~.~~tecnica44~~.~~org~~/~~wiki~~/~~Simplifying_Recognising_Major_Details_Of_Orlando_Seo_Service seo company~~ in ~~orlando]~~ the process of ~~getting Internet traffic today In case you loved this article~~ and ~~you wish~~ to ~~receive more information regarding~~ [http://~~moodle~~.uc.pt/~~user~~/~~view~~.~~php?id~~=~~57348&course~~=~~1 search engine optimization orlando] kindly visit the web~~-~~site.~~ .		In [[graph theory]], '''trapezoid graphs''' are [[intersection graph]]s of [[trapezoid]]s between two horizontal lines. They are a class of co-comparability graphs that contain [[interval graph]]s and [[permutation graph]]s as subclasses. A graph is a '''trapezoid graph''' if there exists a set of trapezoids corresponding to the vertices of the graph such that two vertices are joined by an edge if and only if the corresponding trapezoids intersect. Trapezoid graphs were introduced by [[Ido Dagan\|Dagan]], [[Martin Charles Golumbic\|Golumbic]], and [[Ron Pinter\|Pinter]] in 1988. There exists <math>{O}(n\log n)</math> algorithms for chromatic number, weighted [[Independent set (graph theory)\|independent set]], clique cover, and maximum weighted clique.
			[[File:TrapezoidGraphFigure2.jpg\|thumb\|300px\| Figure 2: Trapezoid representation of graph G.]]

			== Definitions and characterizations ==

			Given a channel, a pair of two horizontal lines, a trapezoid between these lines is defined by two points on the top and two points on the bottom line. A graph is a trapezoid graph if there exists a set of trapezoids corresponding to the vertices of the graph such that two vertices are joined by an edge if and only if the corresponding trapezoids intersect.
			The interval order dimension of a partially ordered set, <math>P=(X, <)</math>, is the minimum number d of interval orders P<sub>1</sub> … P<sub>d</sub> such that P = P<sub>1</sub>∩…∩P<sub>d</sub>. The incomparability graph of a partially ordered set <math>P=(X, <)</math> is the undirected graph <math>G=(X, E)</math> where ''x'' is adjacent to ''y'' in G if and only if ''x'' and ''y'' are incomparable in P. An undirected graph is a trapezoid graph if and only if it is the incomparability graph of a partial order having interval order dimension at most 2.<ref>Ido Dagan, Martin Charles Golumbic, and Ron Yair Pinter. Trapezoid graphs and their coloring. Discrete Appl. Math., 35–46, 1988.</ref>

			== Applications ==

			The problems of finding maximum cliques and of coloring trapezoid graphs are connected to channel routing problems in [[Very-large-scale integration\|VLSI]] design. Given some labeled terminals on the upper and lower side of a two-sided channel, terminals with the same label will be connected in a common net. This net can be represented by a trapezoid containing the rightmost terminals and leftmost terminals with the same label. Nets may be routed without intersection if and only if the corresponding trapezoids do no intersect. Therefore, the number of layers needed to route the nets without intersection is equal to the graph’s chromatic number.

			== Equivalent representations ==
			=== Trapezoid representation ===

			Trapezoids can be used to represent a trapezoid graph by using the definition of trapezoid graph. A trapezoid graph, and its corresponding trapezoid representation, can be seen in Figure 1 and 2.

			=== Box representation ===
			Dominating rectangles, or box representation, maps the points on the lower of the two lines of the trapezoid representation as lying on the ''x''-axis and that of the upper line as lying on the ''y''-axis of the Euclidean plane. Each trapezoid then corresponds to an axis-parallel box in the plane. Using the notion of a dominance order (In '''R'''<sup>''K''</sup>, ''x'' is said to be dominated by ''y'', denoted ''x'' < ''y'', if ''x<sub>i</sub>'' is less than ''y<sub>i</sub>'' for ''i'' = 1, …, ''k''), we say that a box b dominates a box ''b’'' if the lower corner of ''b'' dominates the upper corner of ''b’''. Furthermore, if one of two boxes dominates the other we say that they are comparable. Otherwise, they are incomparable. Thus, two trapezoids are disjoint exactly if their corresponding boxes are comparable. The box representation is useful because the associated dominance order allows sweep line algorithms to be used.<ref>Stefan Felsner, Rudolf Muller, and Lorenz Wernisch. Trapezoid graphs and generalizations, geometry and algorithms. In Algorithm theory—SWAT ’94 (Aarhus, 1994), volume 824 of Lecture Notes in Comput. Sci., pages 143–154. Springer, Berlin, 1994.</ref> An equivalent box representation for the graph in Figure 1 is shown in Figure 3.

			=== Bitolerance graphs ===
			Bitolerance graphs are incomparability graphs of a bitolerance order. An order is a bitolerance order if and only if there are intervals I<sub>''x''</sub> and real numbers ''t''<sub>1</sub>(''x'') and ''t''<sub>''r''</sub>(''x'') assigned to each vertex ''x'' in such a way that ''x'' < ''y'' if and only if the overlap of I<sub>''x''</sub> and I<sub>''y''</sub> is less than both ''t''<sub>''r''</sub>(''x'') and ''t''<sub>1</sub>(''y'') and the center of I<sub>''x''</sub> is less than the center of I<sub>''y''</sub>.<ref>Kenneth P. Bogart, Garth Isaak. Proper and unit bitolerance orders and graphs. Discrete Mathematics 181(1–3): 37–51 (1998).</ref> In 1993, Langley showed that the bounded bitolerance graphs are equivalent to the class of trapezoid graphs.<ref>Martin Charles Golumbic and Irith B.-A. Hartman, eds., Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications, Springer-Verlag, New York, 2005</ref>

			== Relation to other families of graphs ==

			The class of trapezoid graphs properly contains the union of interval and permutation graphs and is equivalent to the incomparability graphs of partially ordered sets having interval order dimension at most two. Permutation graphs can be seen as the special case of trapezoid graphs when every trapezoid has zero area. This occurs when both of the trapezoid’s points on the upper channel are in the same position and both points on the lower channel are in the same position.

			Like all incomparability graphs, trapezoid graphs are [[perfect graph\|perfect]].

			=== Circle trapezoid graphs ===

			Circle trapezoid graphs are a class of graphs proposed by Felsner et al. in 1993. They are a superclass of the trapezoid graph class, and also contain circle graphs and circular-arc graphs. A circle trapezoid is the region in a circle that lies between two non-crossing chords and a circle trapezoid graph is the intersection graph of families of circle trapezoids on a common circle. A circle trapezoid graph and its corresponding circle trapezoid representation can be seen in Figure 4. There is an <math>O(n^2)</math> algorithm for maximum weighted independent set problem and an <math>{O}(n^2 \log n)</math> algorithm for the maximum weighted clique problem.

			=== ''k''-Trapezoid graphs ===
			''k''-Trapezoid graphs are an extension of trapezoid graphs to higher dimension orders. They were first proposed by Felsner, and they rely on the definition of dominating boxes carrying over to higher dimensions in which a point ''x'' is represented by a vector <math>( x_1, \ldots , x_k )</math>. Using (''k'' − 1)-dimensional range trees to store and query coordinates, Felsner’s algorithms for chromatic number, maximum clique, and maximum independent set can be applied to ''k''-trapezoid graphs in <math>{O}(n \log^{k-1}n)</math> time.

			== Algorithms ==
			Algorithms for trapezoid graphs should be compared with algorithms for general co-comparability graphs. For this larger class of graphs, the maximum independent set and the minimum clique cover problem can be solved in <math>{O}(n^2\log n)</math> time.<ref>R. McConnel and J. Spinrad, Linear-time modular decomposition and efficient transitive orientation of undirected graphs, Proc. 5. Ann. Symp. on Discr. Alg. (1994).</ref>
			Dagan et al. first proposed an <math>{O}(nk)</math> algorithm for coloring trapezoid graphs, where n is the number of nodes and k is the chromatic number of the graph.
			Later, using the box representation of trapezoid graphs, Felsner published <math>{O}(n\log n)</math> algorithms for chromatic number, weighted independent set, clique cover, and maximum weighted clique. These algorithms all require <math>{O}(n)</math> space. These algorithms rely on the associated dominance in the box representation that allows sweeping line algorithms to be used. Felsner proposes using balanced trees that can do insert, delete, and query operations in <math>{O}(\log n)</math> time, which results in <math>{O}(n\log n)</math> algorithms.

			== Recognition ==
			To determine if a graph <math>{G}</math> is a trapezoid graph, search for a transitive orientation <math>{F}</math> on the complement of <math>{G}</math>. Since trapezoid graphs are a subset of co-comparability graphs, if <math>{G}</math> is a trapezoid graph, its complement <math>{G'}</math> must be a comparability graph. If a transitive orientation <math>{F}</math> of the complement <math>{G'}</math> does not exist, <math>{G}</math> is not a trapezoid graph. If <math>{F}</math> does exist, test to see if the order given by <math>{F}</math> is a trapezoid order. The fastest algorithm for trapezoid order recognition was proposed by McConnell and Spinrad in 1994, with a running time of <math>O(n^2)</math>. The process reduces the interval dimension 2 question to a problem of covering an associated bipartite graph by chain graphs (graphs with no induced 2K<sub>2</sub>).<ref>Golumbic, Martin Charles., and Ann N. Trenk. Tolerance Graphs. Cambridge [u.a.: Cambridge Univ., 2004.</ref>
			Using vertex splitting, the recognition problem for trapezoid graphs was shown by Mertzios and Corneil to succeed in <math>O(n(n+m))</math> time, where <math>m</math> denotes the number of edges. This process involves augmenting a given graph <math>{G}</math>, and then transforming the augmented graph by replacing each of the original graph’s vertices by a pair of new vertices. This “splitted graph” is a permutation graph with special properties if an only if <math>{G}</math> is a trapezoid graph.<ref>G. B. Mertzios and [[Derek Corneil\|D. G. Corneil]]. Vertex splitting and the recognition of trapezoid graphs. Discrete Applied Mathematics, 159(11), pages 1131-1147, 2011.</ref>

			==Notes==
			{{reflist}}

			==References==

			* {{Cite document
			\| author = Golumbic, Martin Charles
			\| authorlink = Martin Charles Golumbic
			\| title = Algorithmic Graph Theory and Perfect Graphs
			\| publisher = Academic Press
			\| year = 1980
			\| id = ISBN 0-444-51530-5
			\| url = http://www.elsevier.com/wps/find/bookdescription.cws_home/699916/description#description
			\| ref = harv
			\| postscript = <!--None-->
			}} Second edition, Annals of Discrete Mathematics 57, Elsevier, 2004.

			[[Category:Intersection classes of graphs]]
			[[Category:Perfect graphs]]

en>CBM: Fixing old cut and paste move, step 9

2011-04-29T19:36:28Z

Fixing old cut and paste move, step 9

New page

What is important because it is found on search engines - because they are done [http://www.tecnica44.org/wiki/Simplifying_Recognising_Major_Details_Of_Orlando_Seo_Service seo company in orlando] the process of getting Internet traffic today In case you loved this article and you wish to receive more information regarding [http://moodle.uc.pt/user/view.php?id=57348&course=1 search engine optimization orlando] kindly visit the web-site. .