mirror of
https://hub.njuu.cf/TheAlgorithms/C-Plus-Plus.git
synced 2023-10-11 13:05:55 +08:00
aaa08b0150
* delete secant method - it is identical to regula falsi * document + improvize root finding algorithms * attempt to document gaussian elimination * added file brief * commented doxygen-mainpage, added files-list link * corrected files list link path * files-list link correction - this time works :) * document successive approximations * cleaner equation * updating DIRECTORY.md * documented kmp string search * document brute force string search * document rabin-karp string search * fixed mainpage readme * doxygen v1.8.18 will suppress out the #minipage in the markdown * cpplint correction for header guard style * github action to auto format source code per cpplint standard * updated setting to add 1 space before `private` and `public` keywords * auto rename files and auto format code * added missing "run" for step * corrected asignmemt operation * fixed trim and assign syntax * added git move for renaming bad filenames * added missing pipe for trim * added missing space * use old and new fnames * store old fname using echo * move files only if there is a change in filename * put old filenames in quotes * use double quote for old filename * escape double quotes * remove old_fname * try escape characters and echo" * add file-type to find * cleanup echo * ensure all trim variables are also in quotes * try escape -quote again * remove second escpe quote * use single quote for first check * use carets instead of quotes * put variables in brackets * remove -e from echo * add debug echos * try print0 flag * find command with while instead of for-loop * find command using IFS instead * 🎉 IFS fix worked - escaped quotes for git mv * protetc each word in git mv .. * filename exists in lower cases - renamed * 🎉 git push enabled * updating DIRECTORY.md * git pull & then push * formatting filenamesd7af6fdc8c
* formatting source-code ford7af6fdc8c
* remove allman break before braces * updating DIRECTORY.md * added missing comma lost in previous commit * orchestrate all workflows * fix yml indentation * force push format changes, add title to DIRECTORY.md * pull before proceeding * reorganize pull commands * use master branches for actions * rename .cc files to .cpp * added class destructor to clean up dynamic memory allocation * rename to awesome workflow * commented whole repo cpplint - added modified files lint check * removed need for cpplint * attempt to use actions/checkout@master * temporary: no dependency on cpplint * formatting filenames153fb7b8a5
* formatting source-code for153fb7b8a5
* updating DIRECTORY.md * fix diff filename * added comments to the code * added test case * formatting source-code fora850308fba
* updating DIRECTORY.md * added machine learning folder * added adaline algorithm * updating DIRECTORY.md * fixed issue [LWG2192](https://cplusplus.github.io/LWG/issue2192) for std::abs on MacOS * add cmath for same bug: [LWG2192](https://cplusplus.github.io/LWG/issue2192) for std::abs on MacOS * formatting source-code forf8925e4822
* use STL's inner_product * formatting source-code forf94a330594
* added range comments * define activation function * use equal initial weights * change test2 function to predict * activation function not friend * previous commit correction * added option for predict function to return value before applying activation function as optional argument * added test case to classify points lying within a sphere * improve documentation for adaline * formatting source-code for15ec4c3aba
* added cmake to geometry folder * added algorithm include for std::max * add namespace - machine_learning * add namespace - statistics * add namespace - sorting * added sorting algos to namespace sorting * added namespace string_search * formatting source-code forfd69530515
* added documentation to string_search namespace * feat: Add BFS and DFS algorithms to check for cycle in a directed graph * Remove const references for input of simple types Reason: overhead on access * fix bad code sorry for force push * Use pointer instead of the non-const reference because apparently google says so. * Remove a useless and possibly bad Graph constuctor overload * Explicitely specify type of vector during graph instantiation * updating DIRECTORY.md * find openMP before adding subdirectories * added kohonen self organizing map * updating DIRECTORY.md * remove older files and folders from gh-pages before adding new files * remove chronos library due to inacceptability by cpplint * use c++ specific static_cast instead * initialize radom number generator * updated image links with those from CPP repository * rename computer.... folder to numerical methods * added durand kerner method for root computation for arbitrarily large polynomials * fixed additional comma * fix cpplint errors * updating DIRECTORY.md * convert to function module * update documentation * move openmp to main loop * added two test cases * use INT16_MAX * remove return statement from omp-for loop and use "break" * run tests when no input is provided and skip tests when input polynomial is provided * while loop cannot have break - replaced with continue and check is present in the main while condition * (1) break while loop (2) skip runs on break_loop instead of hard-break * add documentation images * use long double for errors and tolerance checks * make iterator variable i local to threads * add critical secions to omp threads * bugfix: move file writing outside of the parallel loop othersie, there is no gurantee of the order of roots written to file * rename folder to data_structures * updating DIRECTORY.md * fix ambiguous symbol `size` * add data_structures to cmake * docs: enable tree view, add timestamp in footer, try clang assistaed parsing * doxygen - open links in external window * remove invalid parameter from function docs * use HTML5 img tag to resize images * move file to proper folder * fix documentations and cpplint * formatting source-code foraacaf9828c
* updating DIRECTORY.md * cpplint: add braces for multiple statement if * add explicit link to badges * remove duplicate line Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * remove namespace indentation * remove file associations in settings * add author name * enable cmake in subfolders of data_structures * create and link object file * cpp lint fixes and instantiate template classes * cpp lint fixes and instantiate template classes Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * cpplint - ignore `build/include` Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * disable redundant gcc compilation in cpplint workflow Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * template header files contain function codes as well and removed redundant subfolders Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * updating DIRECTORY.md * remove semicolons after functions in a class Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * cpplint header guard style Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * remove semilon Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * added LU decomposition algorithm Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * added QR decomposition algorithm Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * use QR decomposition to find eigen values Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * updating DIRECTORY.md * use std::rand for thread safety Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * move srand to main() Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * cpplint braces correction Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * updated eigen value documentation Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * fix matrix shift doc Signed-off-by: Krishna Vedala <7001608+kvedala@users.noreply.github.com> * rename CONTRIBUTION.md to CONTRIBUTING.md #836 * remove 'sort alphabetical order' check * added documentation check * remove extra paranthesis * added gitpod * added gitpod link from README * attempt to add vscode gitpod extensions * update gitpod extensions * add gitpod extensions cmake-tools and git-graph * remove gitpod init and add commands * use init to one time install doxygen, graphviz, cpplint * use gitpod dockerfile * add ninja build system to docker * remove configure task * add github prebuild specs to gitpod * disable gitpod addcommit * update documentation for kohonen_som * added ode solve using forward euler method * added mid-point euler ode solver * fixed itegration step equation * added semi-implicit euler ODE solver * updating DIRECTORY.md * fix cpplint issues - lines 117 and 124 * added documentation to ode group * corrected semi-implicit euler function * updated docs and test cases better structure * replace `free` with `delete` operator * formatting source-code forf55ab50cf2
* updating DIRECTORY.md * main function must return * added machine learning group * added kohonen som topology algorithm * fix graph image path * updating DIRECTORY.md * fix braces * use snprintf instead of sprintf * use static_cast * hardcode character buffer size * fix machine learning groups in documentation * fix missing namespace function * replace kvedala fork references to TheAlgorithms * fix bug in counting_sort Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com> Co-authored-by: Anmol3299 <mittalanmol22@gmail.com>
303 lines
10 KiB
C++
303 lines
10 KiB
C++
/**
|
|
* Copyright 2020
|
|
* @file cycle_check_directed graph.cpp
|
|
*
|
|
* @brief BFS and DFS algorithms to check for cycle in a directed graph.
|
|
*
|
|
* @author Anmol3299
|
|
* contact: mittalanmol22@gmail.com
|
|
*
|
|
*/
|
|
|
|
#include <iostream> // for std::cout
|
|
#include <queue> // for std::queue
|
|
#include <stdexcept> // for throwing errors
|
|
#include <type_traits> // for std::remove_reference_t
|
|
#include <unordered_map> // for std::unordered_map
|
|
#include <utility> // for std::move
|
|
#include <vector> // for std::vector
|
|
|
|
/**
|
|
* Implementation of non-weighted directed edge of a graph.
|
|
*
|
|
* The source vertex of the edge is labelled "src" and destination vertex is
|
|
* labelled "dest".
|
|
*/
|
|
struct Edge {
|
|
unsigned int src;
|
|
unsigned int dest;
|
|
|
|
Edge() = delete;
|
|
~Edge() = default;
|
|
Edge(Edge&&) = default;
|
|
Edge& operator=(Edge&&) = default;
|
|
Edge(Edge const&) = default;
|
|
Edge& operator=(Edge const&) = default;
|
|
|
|
/** Set the source and destination of the vertex.
|
|
*
|
|
* @param source is the source vertex of the edge.
|
|
* @param destination is the destination vertex of the edge.
|
|
*/
|
|
Edge(unsigned int source, unsigned int destination)
|
|
: src(source), dest(destination) {}
|
|
};
|
|
|
|
using AdjList = std::unordered_map<unsigned int, std::vector<unsigned int>>;
|
|
|
|
/**
|
|
* Implementation of graph class.
|
|
*
|
|
* The graph will be represented using Adjacency List representation.
|
|
* This class contains 2 data members "m_vertices" & "m_adjList" used to
|
|
* represent the number of vertices and adjacency list of the graph
|
|
* respectively. The vertices are labelled 0 - (m_vertices - 1).
|
|
*/
|
|
class Graph {
|
|
public:
|
|
Graph() : m_vertices(0), m_adjList({}) {}
|
|
~Graph() = default;
|
|
Graph(Graph&&) = default;
|
|
Graph& operator=(Graph&&) = default;
|
|
Graph(Graph const&) = default;
|
|
Graph& operator=(Graph const&) = default;
|
|
|
|
/** Create a graph from vertices and adjacency list.
|
|
*
|
|
* @param vertices specify the number of vertices the graph would contain.
|
|
* @param adjList is the adjacency list representation of graph.
|
|
*/
|
|
Graph(unsigned int vertices, AdjList const& adjList)
|
|
: m_vertices(vertices), m_adjList(adjList) {}
|
|
|
|
/** Create a graph from vertices and adjacency list.
|
|
*
|
|
* @param vertices specify the number of vertices the graph would contain.
|
|
* @param adjList is the adjacency list representation of graph.
|
|
*/
|
|
Graph(unsigned int vertices, AdjList&& adjList)
|
|
: m_vertices(std::move(vertices)), m_adjList(std::move(adjList)) {}
|
|
|
|
/** Create a graph from vertices and a set of edges.
|
|
*
|
|
* Adjacency list of the graph would be created from the set of edges. If
|
|
* the source or destination of any edge has a value greater or equal to
|
|
* number of vertices, then it would throw a range_error.
|
|
*
|
|
* @param vertices specify the number of vertices the graph would contain.
|
|
* @param edges is a vector of edges.
|
|
*/
|
|
Graph(unsigned int vertices, std::vector<Edge> const& edges)
|
|
: m_vertices(vertices) {
|
|
for (auto const& edge : edges) {
|
|
if (edge.src >= vertices || edge.dest >= vertices) {
|
|
throw std::range_error(
|
|
"Either src or dest of edge out of range");
|
|
}
|
|
m_adjList[edge.src].emplace_back(edge.dest);
|
|
}
|
|
}
|
|
|
|
/** Return a const reference of the adjacency list.
|
|
*
|
|
* @return const reference to the adjacency list
|
|
*/
|
|
std::remove_reference_t<AdjList> const& getAdjList() const {
|
|
return m_adjList;
|
|
}
|
|
|
|
/**
|
|
* @return number of vertices in the graph.
|
|
*/
|
|
std::remove_reference_t<unsigned int> const& getVertices() const {
|
|
return m_vertices;
|
|
}
|
|
|
|
/** Add vertices in the graph.
|
|
*
|
|
* @param num is the number of vertices to be added. It adds 1 vertex by
|
|
* default.
|
|
*
|
|
*/
|
|
void addVertices(unsigned int num = 1) { m_vertices += num; }
|
|
|
|
/** Add an edge in the graph.
|
|
*
|
|
* @param edge that needs to be added.
|
|
*/
|
|
void addEdge(Edge const& edge) {
|
|
if (edge.src >= m_vertices || edge.dest >= m_vertices) {
|
|
throw std::range_error("Either src or dest of edge out of range");
|
|
}
|
|
m_adjList[edge.src].emplace_back(edge.dest);
|
|
}
|
|
|
|
/** Add an Edge in the graph
|
|
*
|
|
* @param source is source vertex of the edge.
|
|
* @param destination is the destination vertex of the edge.
|
|
*/
|
|
void addEdge(unsigned int source, unsigned int destination) {
|
|
if (source >= m_vertices || destination >= m_vertices) {
|
|
throw std::range_error(
|
|
"Either source or destination of edge out of range");
|
|
}
|
|
m_adjList[source].emplace_back(destination);
|
|
}
|
|
|
|
private:
|
|
unsigned int m_vertices;
|
|
AdjList m_adjList;
|
|
};
|
|
|
|
class CycleCheck {
|
|
private:
|
|
enum nodeStates : uint8_t { not_visited = 0, in_stack, visited };
|
|
|
|
/** Helper function of "isCyclicDFS".
|
|
*
|
|
* @param adjList is the adjacency list representation of some graph.
|
|
* @param state is the state of the nodes of the graph.
|
|
* @param node is the node being evaluated.
|
|
*
|
|
* @return true if graph has a cycle, else false.
|
|
*/
|
|
static bool isCyclicDFSHelper(AdjList const& adjList,
|
|
std::vector<nodeStates>* state,
|
|
unsigned int node) {
|
|
// Add node "in_stack" state.
|
|
(*state)[node] = in_stack;
|
|
|
|
// If the node has children, then recursively visit all children of the
|
|
// node.
|
|
if (auto const& it = adjList.find(node); it != adjList.end()) {
|
|
for (auto child : it->second) {
|
|
// If state of child node is "not_visited", evaluate that child
|
|
// for presence of cycle.
|
|
if (auto state_of_child = (*state)[child];
|
|
state_of_child == not_visited) {
|
|
if (isCyclicDFSHelper(adjList, state, child)) {
|
|
return true;
|
|
}
|
|
} else if (state_of_child == in_stack) {
|
|
// If child node was "in_stack", then that means that there
|
|
// is a cycle in the graph. Return true for presence of the
|
|
// cycle.
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
|
|
// Current node has been evaluated for the presence of cycle and had no
|
|
// cycle. Mark current node as "visited".
|
|
(*state)[node] = visited;
|
|
// Return that current node didn't result in any cycles.
|
|
return false;
|
|
}
|
|
|
|
public:
|
|
/** Driver function to check if a graph has a cycle.
|
|
*
|
|
* This function uses DFS to check for cycle in the graph.
|
|
*
|
|
* @param graph which needs to be evaluated for the presence of cycle.
|
|
* @return true if a cycle is detected, else false.
|
|
*/
|
|
static bool isCyclicDFS(Graph const& graph) {
|
|
/** State of the node.
|
|
*
|
|
* It is a vector of "nodeStates" which represents the state node is in.
|
|
* It can take only 3 values: "not_visited", "in_stack", and "visited".
|
|
*
|
|
* Initially, all nodes are in "not_visited" state.
|
|
*/
|
|
std::vector<nodeStates> state(graph.getVertices(), not_visited);
|
|
|
|
// Start visiting each node.
|
|
for (auto node = 0; node < graph.getVertices(); node++) {
|
|
// If a node is not visited, only then check for presence of cycle.
|
|
// There is no need to check for presence of cycle for a visited
|
|
// node as it has already been checked for presence of cycle.
|
|
if (state[node] == not_visited) {
|
|
// Check for cycle.
|
|
if (isCyclicDFSHelper(graph.getAdjList(), &state, node)) {
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
|
|
// All nodes have been safely traversed, that means there is no cycle in
|
|
// the graph. Return false.
|
|
return false;
|
|
}
|
|
|
|
/** Check if a graph has cycle or not.
|
|
*
|
|
* This function uses BFS to check if a graph is cyclic or not.
|
|
*
|
|
* @param graph which needs to be evaluated for the presence of cycle.
|
|
* @return true if a cycle is detected, else false.
|
|
*/
|
|
static bool isCyclicBFS(Graph const& graph) {
|
|
AdjList graphAjdList = graph.getAdjList();
|
|
|
|
std::vector<unsigned int> indegree(graph.getVertices(), 0);
|
|
// Calculate the indegree i.e. the number of incident edges to the node.
|
|
for (auto const& [parent, children] : graphAjdList) {
|
|
for (auto const& child : children) {
|
|
indegree[child]++;
|
|
}
|
|
}
|
|
|
|
std::queue<unsigned int> can_be_solved;
|
|
for (auto node = 0; node < graph.getVertices(); node++) {
|
|
// If a node doesn't have any input edges, then that node will
|
|
// definately not result in a cycle and can be visited safely.
|
|
if (!indegree[node]) {
|
|
can_be_solved.emplace(node);
|
|
}
|
|
}
|
|
|
|
// Vertices that need to be traversed.
|
|
auto remain = graph.getVertices();
|
|
// While there are safe nodes that we can visit.
|
|
while (!can_be_solved.empty()) {
|
|
auto front = can_be_solved.front();
|
|
// Visit the node.
|
|
can_be_solved.pop();
|
|
// Decrease number of nodes that need to be traversed.
|
|
remain--;
|
|
|
|
// Visit all the children of the visited node.
|
|
if (auto it = graphAjdList.find(front); it != graphAjdList.end()) {
|
|
for (auto child : it->second) {
|
|
// Check if we can visited the node safely.
|
|
if (--indegree[child] == 0) {
|
|
// if node can be visited safely, then add that node to
|
|
// the visit queue.
|
|
can_be_solved.emplace(child);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// If there are still nodes that we can't visit, then it means that
|
|
// there is a cycle and return true, else return false.
|
|
return !(remain == 0);
|
|
}
|
|
};
|
|
|
|
/**
|
|
* Main function.
|
|
*/
|
|
int main() {
|
|
// Instantiate the graph.
|
|
Graph g(7, std::vector<Edge>{{0, 1}, {1, 2}, {2, 0}, {2, 5}, {3, 5}});
|
|
// Check for cycle using BFS method.
|
|
std::cout << CycleCheck::isCyclicBFS(g) << '\n';
|
|
|
|
// Check for cycle using DFS method.
|
|
std::cout << CycleCheck::isCyclicDFS(g) << '\n';
|
|
return 0;
|
|
}
|