Some (awful) toolbar images added.
The inline image data (guipixbufs.h) are automatically generated, but
I don't know how to use it.
2 * lemon/full_graph.h - Part of LEMON, a generic C++ optimization library
4 * Copyright (C) 2005 Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
5 * (Egervary Research Group on Combinatorial Optimization, EGRES).
7 * Permission to use, modify and distribute this software is granted
8 * provided that this copyright notice appears in all copies. For
9 * precise terms see the accompanying LICENSE file.
11 * This software is provided "AS IS" with no warranty of any kind,
12 * express or implied, and with no claim as to its suitability for any
17 #ifndef LEMON_FULL_GRAPH_H
18 #define LEMON_FULL_GRAPH_H
23 #include <lemon/bits/iterable_graph_extender.h>
24 #include <lemon/bits/alteration_notifier.h>
25 #include <lemon/bits/default_map.h>
27 #include <lemon/bits/undir_graph_extender.h>
29 #include <lemon/invalid.h>
30 #include <lemon/utility.h>
35 ///\brief FullGraph and SymFullGraph classes.
45 typedef FullGraphBase Graph;
55 ///Creates a full graph with \c n nodes.
56 void construct(int n) { _nodeNum = n; _edgeNum = n * n; }
58 // FullGraphBase(const FullGraphBase &_g)
59 // : _nodeNum(_g.nodeNum()), _edgeNum(_nodeNum*_nodeNum) { }
61 typedef True NodeNumTag;
62 typedef True EdgeNumTag;
65 int nodeNum() const { return _nodeNum; }
67 int edgeNum() const { return _edgeNum; }
73 int maxId(Node = INVALID) const { return _nodeNum-1; }
78 int maxId(Edge = INVALID) const { return _edgeNum-1; }
80 Node source(Edge e) const { return e.id % _nodeNum; }
81 Node target(Edge e) const { return e.id / _nodeNum; }
86 /// The ID of a valid Node is a nonnegative integer not greater than
87 /// \ref maxNodeId(). The range of the ID's is not surely continuous
88 /// and the greatest node ID can be actually less then \ref maxNodeId().
90 /// The ID of the \ref INVALID node is -1.
91 ///\return The ID of the node \c v.
93 static int id(Node v) { return v.id; }
96 /// The ID of a valid Edge is a nonnegative integer not greater than
97 /// \ref maxEdgeId(). The range of the ID's is not surely continuous
98 /// and the greatest edge ID can be actually less then \ref maxEdgeId().
100 /// The ID of the \ref INVALID edge is -1.
101 ///\return The ID of the edge \c e.
102 static int id(Edge e) { return e.id; }
104 static Node fromId(int id, Node) { return Node(id);}
106 static Edge fromId(int id, Edge) { return Edge(id);}
108 typedef True FindEdgeTag;
110 /// Finds an edge between two nodes.
112 /// Finds an edge from node \c u to node \c v.
114 /// If \c prev is \ref INVALID (this is the default value), then
115 /// It finds the first edge from \c u to \c v. Otherwise it looks for
116 /// the next edge from \c u to \c v after \c prev.
117 /// \return The found edge or INVALID if there is no such an edge.
118 Edge findEdge(Node u,Node v, Edge prev = INVALID) const {
119 return prev.id == -1 ? Edge(*this, u.id, v.id) : INVALID;
124 friend class FullGraphBase;
128 Node(int _id) { id = _id;}
131 Node (Invalid) { id = -1; }
132 bool operator==(const Node node) const {return id == node.id;}
133 bool operator!=(const Node node) const {return id != node.id;}
134 bool operator<(const Node node) const {return id < node.id;}
140 friend class FullGraphBase;
143 int id; // _nodeNum * target + source;
145 Edge(int _id) : id(_id) {}
147 Edge(const FullGraphBase& _graph, int source, int target)
148 : id(_graph._nodeNum * target+source) {}
151 Edge (Invalid) { id = -1; }
152 bool operator==(const Edge edge) const {return id == edge.id;}
153 bool operator!=(const Edge edge) const {return id != edge.id;}
154 bool operator<(const Edge edge) const {return id < edge.id;}
157 void first(Node& node) const {
158 node.id = _nodeNum-1;
161 static void next(Node& node) {
165 void first(Edge& edge) const {
166 edge.id = _edgeNum-1;
169 static void next(Edge& edge) {
173 void firstOut(Edge& edge, const Node& node) const {
174 edge.id = _edgeNum + node.id - _nodeNum;
177 void nextOut(Edge& edge) const {
179 if (edge.id < 0) edge.id = -1;
182 void firstIn(Edge& edge, const Node& node) const {
183 edge.id = node.id * _nodeNum;
186 void nextIn(Edge& edge) const {
188 if (edge.id % _nodeNum == 0) edge.id = -1;
194 typedef AlterableGraphExtender<FullGraphBase>
195 AlterableFullGraphBase;
196 typedef IterableGraphExtender<AlterableFullGraphBase>
197 IterableFullGraphBase;
198 typedef DefaultMappableGraphExtender<IterableFullGraphBase>
199 MappableFullGraphBase;
203 /// \brief A full graph class.
205 /// This is a simple and fast directed full graph implementation.
206 /// It is completely static, so you can neither add nor delete either
208 /// Thus it conforms to
209 /// the \ref concept::StaticGraph "StaticGraph" concept
210 /// \sa concept::StaticGraph.
212 /// \author Alpar Juttner
213 class FullGraph : public MappableFullGraphBase {
216 FullGraph(int n) { construct(n); }
221 class UndirFullGraphBase {
226 typedef UndirFullGraphBase Graph;
233 UndirFullGraphBase() {}
236 ///Creates a full graph with \c n nodes.
237 void construct(int n) { _nodeNum = n; _edgeNum = n * (n - 1) / 2; }
239 // FullGraphBase(const FullGraphBase &_g)
240 // : _nodeNum(_g.nodeNum()), _edgeNum(_nodeNum*_nodeNum) { }
242 typedef True NodeNumTag;
243 typedef True EdgeNumTag;
246 int nodeNum() const { return _nodeNum; }
248 int edgeNum() const { return _edgeNum; }
254 int maxId(Node = INVALID) const { return _nodeNum-1; }
259 int maxId(Edge = INVALID) const { return _edgeNum-1; }
261 Node source(Edge e) const {
262 /// \todo we may do it faster
263 return ((int)sqrt((double)(1 + 8 * e.id)) + 1) / 2;
266 Node target(Edge e) const {
267 int source = ((int)sqrt((double)(1 + 8 * e.id)) + 1) / 2;;
268 return e.id - (source) * (source - 1) / 2;
274 /// The ID of a valid Node is a nonnegative integer not greater than
275 /// \ref maxNodeId(). The range of the ID's is not surely continuous
276 /// and the greatest node ID can be actually less then \ref maxNodeId().
278 /// The ID of the \ref INVALID node is -1.
279 ///\return The ID of the node \c v.
281 static int id(Node v) { return v.id; }
284 /// The ID of a valid Edge is a nonnegative integer not greater than
285 /// \ref maxEdgeId(). The range of the ID's is not surely continuous
286 /// and the greatest edge ID can be actually less then \ref maxEdgeId().
288 /// The ID of the \ref INVALID edge is -1.
289 ///\return The ID of the edge \c e.
290 static int id(Edge e) { return e.id; }
292 /// Finds an edge between two nodes.
294 /// Finds an edge from node \c u to node \c v.
296 /// If \c prev is \ref INVALID (this is the default value), then
297 /// It finds the first edge from \c u to \c v. Otherwise it looks for
298 /// the next edge from \c u to \c v after \c prev.
299 /// \return The found edge or INVALID if there is no such an edge.
300 Edge findEdge(Node u,Node v, Edge prev = INVALID)
302 return prev.id == -1 ? Edge(*this, u.id, v.id) : INVALID;
307 friend class UndirFullGraphBase;
311 Node(int _id) { id = _id;}
314 Node (Invalid) { id = -1; }
315 bool operator==(const Node node) const {return id == node.id;}
316 bool operator!=(const Node node) const {return id != node.id;}
317 bool operator<(const Node node) const {return id < node.id;}
323 friend class UndirFullGraphBase;
326 int id; // _nodeNum * target + source;
328 Edge(int _id) : id(_id) {}
330 Edge(const UndirFullGraphBase& _graph, int source, int target)
331 : id(_graph._nodeNum * target+source) {}
334 Edge (Invalid) { id = -1; }
335 bool operator==(const Edge edge) const {return id == edge.id;}
336 bool operator!=(const Edge edge) const {return id != edge.id;}
337 bool operator<(const Edge edge) const {return id < edge.id;}
340 void first(Node& node) const {
341 node.id = _nodeNum-1;
344 static void next(Node& node) {
348 void first(Edge& edge) const {
349 edge.id = _edgeNum-1;
352 static void next(Edge& edge) {
356 void firstOut(Edge& edge, const Node& node) const {
357 edge.id = node.id != 0 ? node.id * (node.id - 1) / 2 : -1;
360 /// \todo with specialized iterators we can make faster iterating
361 void nextOut(Edge& e) const {
362 int source = ((int)sqrt((double)(1 + 8 * e.id)) + 1) / 2;;
363 int target = e.id - (source) * (source - 1) / 2;
365 e.id = target < source ? source * (source - 1) / 2 + target : -1;
368 void firstIn(Edge& edge, const Node& node) const {
369 edge.id = node.id * (node.id + 1) / 2 - 1;
372 void nextIn(Edge& e) const {
373 int source = ((int)sqrt((double)(1 + 8 * e.id)) + 1) / 2;;
374 int target = e.id - (source) * (source - 1) / 2; ++target;
376 e.id = source < _nodeNum ? source * (source - 1) / 2 + target : -1;
381 typedef UndirGraphExtender<UndirFullGraphBase>
382 UndirUndirFullGraphBase;
383 typedef AlterableUndirGraphExtender<UndirUndirFullGraphBase>
384 AlterableUndirFullGraphBase;
385 typedef IterableUndirGraphExtender<AlterableUndirFullGraphBase>
386 IterableUndirFullGraphBase;
387 typedef MappableUndirGraphExtender<IterableUndirFullGraphBase>
388 MappableUndirFullGraphBase;
392 /// \brief An undirected full graph class.
394 /// This is a simple and fast directed full graph implementation.
395 /// It is completely static, so you can neither add nor delete either
398 /// The main difference beetween the \e FullGraph and \e UndirFullGraph class
399 /// is that this class conforms to the undirected graph concept and
400 /// it does not contain the hook edges.
404 /// \author Balazs Dezso
405 class UndirFullGraph : public MappableUndirFullGraphBase {
407 UndirFullGraph(int n) { construct(n); }
413 #endif //LEMON_FULL_GRAPH_H