init repo
This commit is contained in:
commit
599a631c65
17 changed files with 943 additions and 0 deletions
1
.envrc
Normal file
1
.envrc
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
use flake
|
||||||
12
.gitattributes
vendored
Normal file
12
.gitattributes
vendored
Normal file
|
|
@ -0,0 +1,12 @@
|
||||||
|
#
|
||||||
|
# https://help.github.com/articles/dealing-with-line-endings/
|
||||||
|
#
|
||||||
|
# Linux start script should use lf
|
||||||
|
/gradlew text eol=lf
|
||||||
|
|
||||||
|
# These are Windows script files and should use crlf
|
||||||
|
*.bat text eol=crlf
|
||||||
|
|
||||||
|
# Binary files should be left untouched
|
||||||
|
*.jar binary
|
||||||
|
|
||||||
69
.gitignore
vendored
Normal file
69
.gitignore
vendored
Normal file
|
|
@ -0,0 +1,69 @@
|
||||||
|
# Ignore Gradle project-specific cache directory
|
||||||
|
.gradle/
|
||||||
|
|
||||||
|
# Ignore Gradle build output directory
|
||||||
|
build/
|
||||||
|
|
||||||
|
# Ignore automatically generated direnv output
|
||||||
|
.direnv
|
||||||
|
|
||||||
|
# Ignore build outputs from performing a nix-build or `nix build` command
|
||||||
|
result
|
||||||
|
result-*
|
||||||
|
|
||||||
|
# Compiled class file
|
||||||
|
*.class
|
||||||
|
|
||||||
|
# Log file
|
||||||
|
*.log
|
||||||
|
|
||||||
|
# Package Files #
|
||||||
|
*.jar
|
||||||
|
*.war
|
||||||
|
*.nar
|
||||||
|
*.ear
|
||||||
|
*.zip
|
||||||
|
*.tar.gz
|
||||||
|
*.rar
|
||||||
|
|
||||||
|
# Ignore Gradle GUI config
|
||||||
|
gradle-app.setting
|
||||||
|
|
||||||
|
# Avoid ignoring Gradle wrapper jar file (.jar files are usually ignored)
|
||||||
|
!gradle-wrapper.jar
|
||||||
|
|
||||||
|
# Avoid ignore Gradle wrapper properties
|
||||||
|
!gradle-wrapper.peoperties
|
||||||
|
|
||||||
|
# Cache of project
|
||||||
|
.gradletasknamecache
|
||||||
|
|
||||||
|
# Eclipst
|
||||||
|
.project
|
||||||
|
.metadata
|
||||||
|
bin/
|
||||||
|
tmp/
|
||||||
|
*.tmp
|
||||||
|
*.bak
|
||||||
|
*.swp
|
||||||
|
*~.nib
|
||||||
|
.settings/
|
||||||
|
.loadpath
|
||||||
|
.recommanders
|
||||||
|
.classpath
|
||||||
|
.factorypath
|
||||||
|
|
||||||
|
# Idea config file
|
||||||
|
.idea/
|
||||||
|
*.iml
|
||||||
|
*iws
|
||||||
|
*.ipr
|
||||||
|
out/
|
||||||
|
.idea_modules/
|
||||||
|
|
||||||
|
# Virtual machine crash logs
|
||||||
|
hs_err_pid*
|
||||||
|
replay_pid*
|
||||||
|
|
||||||
|
# Local properties file
|
||||||
|
local.properties
|
||||||
11
.helix/languages.toml
Normal file
11
.helix/languages.toml
Normal file
|
|
@ -0,0 +1,11 @@
|
||||||
|
[[language]]
|
||||||
|
name = "kotlin"
|
||||||
|
formatter = { command = "ktfmt", args = ["-"] }
|
||||||
|
[[language]]
|
||||||
|
name = "java"
|
||||||
|
[language.indent]
|
||||||
|
tab-width = 4
|
||||||
|
unit = " "
|
||||||
|
|
||||||
|
[language-server.jdtls.config.settings.java.format]
|
||||||
|
enabled = true
|
||||||
13
.zed/settings.json
Normal file
13
.zed/settings.json
Normal file
|
|
@ -0,0 +1,13 @@
|
||||||
|
{
|
||||||
|
"tab_size": 2,
|
||||||
|
"languages": {
|
||||||
|
"Java": {
|
||||||
|
"tab_size": 4,
|
||||||
|
"formatter": {
|
||||||
|
"language_server": {
|
||||||
|
"name": "jdtls"
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
39
app/build.gradle.kts
Normal file
39
app/build.gradle.kts
Normal file
|
|
@ -0,0 +1,39 @@
|
||||||
|
/*
|
||||||
|
* This file was generated by the Gradle 'init' task.
|
||||||
|
*
|
||||||
|
* This generated file contains a sample Java application project to get you started.
|
||||||
|
* For more details on building Java & JVM projects, please refer to https://docs.gradle.org/8.13/userguide/building_java_projects.html in the Gradle documentation.
|
||||||
|
*/
|
||||||
|
|
||||||
|
plugins {
|
||||||
|
// Apply the application plugin to add support for building a CLI application in Java.
|
||||||
|
application
|
||||||
|
}
|
||||||
|
|
||||||
|
repositories {
|
||||||
|
// Use Maven Central for resolving dependencies.
|
||||||
|
mavenCentral()
|
||||||
|
}
|
||||||
|
|
||||||
|
dependencies {
|
||||||
|
// Use JUnit Jupiter for testing.
|
||||||
|
testImplementation(libs.junit.jupiter)
|
||||||
|
|
||||||
|
testRuntimeOnly("org.junit.platform:junit-platform-launcher")
|
||||||
|
|
||||||
|
// This dependency is used by the application.
|
||||||
|
implementation(libs.guava)
|
||||||
|
}
|
||||||
|
|
||||||
|
// Apply a specific Java toolchain to ease working on different environments.
|
||||||
|
java { toolchain { languageVersion = JavaLanguageVersion.of(21) } }
|
||||||
|
|
||||||
|
application {
|
||||||
|
// Define the main class for the application.
|
||||||
|
mainClass = "fun.youthlic.Graph"
|
||||||
|
}
|
||||||
|
|
||||||
|
tasks.named<Test>("test") {
|
||||||
|
// Use JUnit Platform for unit tests.
|
||||||
|
useJUnitPlatform()
|
||||||
|
}
|
||||||
324
app/src/main/java/fun/youthlic/Graph.java
Normal file
324
app/src/main/java/fun/youthlic/Graph.java
Normal file
|
|
@ -0,0 +1,324 @@
|
||||||
|
package fun.youthlic;
|
||||||
|
|
||||||
|
import java.util.ArrayList;
|
||||||
|
import java.util.Comparator;
|
||||||
|
import java.util.HashMap;
|
||||||
|
import java.util.LinkedList;
|
||||||
|
import java.util.List;
|
||||||
|
import java.util.Locale;
|
||||||
|
import java.util.Map;
|
||||||
|
import java.util.Optional;
|
||||||
|
import java.util.PriorityQueue;
|
||||||
|
import java.util.Random;
|
||||||
|
import java.util.function.Function;
|
||||||
|
import java.util.stream.IntStream;
|
||||||
|
|
||||||
|
public class Graph {
|
||||||
|
|
||||||
|
public record EdgeRecord(String node1, String node2, int weight) {
|
||||||
|
}
|
||||||
|
|
||||||
|
private static class Node {
|
||||||
|
|
||||||
|
String id;
|
||||||
|
Map<Node, Integer> edges;
|
||||||
|
|
||||||
|
Node(final String id) {
|
||||||
|
this.id = id;
|
||||||
|
this.edges = new HashMap<>();
|
||||||
|
}
|
||||||
|
|
||||||
|
void addEdge(final Node target) {
|
||||||
|
edges.put(target, edges.getOrDefault(target, 0) + 1);
|
||||||
|
}
|
||||||
|
|
||||||
|
List<String> getDOTEdges(final Function<EdgeRecord, String> callback) {
|
||||||
|
final var dotEdges = new ArrayList<String>();
|
||||||
|
for (final var entry : edges.entrySet()) {
|
||||||
|
final Node target = entry.getKey();
|
||||||
|
final int weight = entry.getValue();
|
||||||
|
dotEdges.add(
|
||||||
|
callback.apply(new EdgeRecord(id, target.id, weight)) + ";\n");
|
||||||
|
}
|
||||||
|
return dotEdges;
|
||||||
|
}
|
||||||
|
|
||||||
|
List<String> getDOTEdges() {
|
||||||
|
final var dotEdges = new ArrayList<String>();
|
||||||
|
for (final var entry : edges.entrySet()) {
|
||||||
|
final Node target = entry.getKey();
|
||||||
|
final int weight = entry.getValue();
|
||||||
|
dotEdges.add(
|
||||||
|
String.format("%s -> %s [label=\"%d\"];\n", id, target.id, weight));
|
||||||
|
}
|
||||||
|
return dotEdges;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
public static void main(final String[] args) {
|
||||||
|
final var g = new Graph(
|
||||||
|
"To explore strange new worlds, To seek out new life and new civilizations");
|
||||||
|
final var words = g.findBridgeWords("team", "so");
|
||||||
|
System.out.println(words);
|
||||||
|
final var path = g.findShortestPath("the", "shared");
|
||||||
|
System.out.println(path);
|
||||||
|
System.out.println(
|
||||||
|
g.toDOT(r -> String.format(
|
||||||
|
"\"%s\" -> \"%s\" [label=\"%d\"%s]",
|
||||||
|
r.node1 + (path.contains(r.node1) ? "~" : ""),
|
||||||
|
r.node2 + (path.contains(r.node2) ? "~" : ""),
|
||||||
|
r.weight,
|
||||||
|
(path.contains(r.node1) &&
|
||||||
|
path.contains(r.node2) &&
|
||||||
|
IntStream.range(0, path.size() - 1).anyMatch(
|
||||||
|
i -> path.get(i).equals(r.node1) && path.get(i + 1).equals(r.node2)))
|
||||||
|
? ",color=\"red\""
|
||||||
|
: "")));
|
||||||
|
System.out.println(g.computePageRank("new", 0.85));
|
||||||
|
System.out.println(g.randomWalk());
|
||||||
|
}
|
||||||
|
|
||||||
|
private final Map<String, Node> nodes;
|
||||||
|
|
||||||
|
private Map<Node, Double> pageRanks;
|
||||||
|
|
||||||
|
public Graph(final String input, final double d) {
|
||||||
|
nodes = new HashMap<>();
|
||||||
|
parse(input);
|
||||||
|
initRageRanks(d);
|
||||||
|
}
|
||||||
|
|
||||||
|
public Graph(final String input) {
|
||||||
|
nodes = new HashMap<>();
|
||||||
|
parse(input);
|
||||||
|
initRageRanks(0.85);
|
||||||
|
}
|
||||||
|
|
||||||
|
public Optional<List<String>> findBridgeWords(final String word1, final String word2) {
|
||||||
|
final Node node1 = nodes.get(word1.toLowerCase(Locale.ENGLISH));
|
||||||
|
final Node node2 = nodes.get(word2.toLowerCase(Locale.ENGLISH));
|
||||||
|
|
||||||
|
if (node1 == null || node2 == null) {
|
||||||
|
return Optional.empty();
|
||||||
|
}
|
||||||
|
|
||||||
|
final var bridgeWords = new ArrayList<String>();
|
||||||
|
for (final var node : node1.edges.keySet()) {
|
||||||
|
if (node.edges.containsKey(node2)) {
|
||||||
|
bridgeWords.add(node.id);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return Optional.of(bridgeWords);
|
||||||
|
}
|
||||||
|
|
||||||
|
public List<String> findShortestPath(final String word1, final String word2) {
|
||||||
|
final var startWord = word1.toLowerCase(Locale.ENGLISH);
|
||||||
|
final var endWord = word2.toLowerCase(Locale.ENGLISH);
|
||||||
|
final var path = new ArrayList<String>();
|
||||||
|
|
||||||
|
if (!nodes.containsKey(startWord) || !nodes.containsKey(endWord)) {
|
||||||
|
return path;
|
||||||
|
}
|
||||||
|
|
||||||
|
final Node startNode = nodes.get(startWord);
|
||||||
|
final Node endNode = nodes.get(endWord);
|
||||||
|
|
||||||
|
if (startNode == endNode) {
|
||||||
|
path.add(startNode.id);
|
||||||
|
return path;
|
||||||
|
}
|
||||||
|
|
||||||
|
final var distances = new HashMap<Node, Integer>();
|
||||||
|
final var previousNodes = new HashMap<Node, Node>();
|
||||||
|
final var queue = new PriorityQueue<Node>(
|
||||||
|
Comparator.comparingInt(node -> distances.getOrDefault(node, Integer.MAX_VALUE)));
|
||||||
|
|
||||||
|
for (final var node : nodes.values()) {
|
||||||
|
distances.put(node, Integer.MAX_VALUE);
|
||||||
|
}
|
||||||
|
distances.put(startNode, 0);
|
||||||
|
queue.add(startNode);
|
||||||
|
|
||||||
|
while (!queue.isEmpty()) {
|
||||||
|
final Node current = queue.poll();
|
||||||
|
for (final var edge : current.edges.entrySet()) {
|
||||||
|
final Node neighbor = edge.getKey();
|
||||||
|
final int weight = edge.getValue();
|
||||||
|
|
||||||
|
final int newDist = distances.get(current) + weight;
|
||||||
|
if (newDist < distances.get(neighbor)) {
|
||||||
|
distances.put(neighbor, newDist);
|
||||||
|
previousNodes.put(neighbor, current);
|
||||||
|
queue.add(neighbor);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if (distances.get(endNode) == Integer.MAX_VALUE) {
|
||||||
|
return path;
|
||||||
|
}
|
||||||
|
|
||||||
|
final var reversePath = new LinkedList<String>();
|
||||||
|
Node current = endNode;
|
||||||
|
while (current != null) {
|
||||||
|
reversePath.addFirst(current.id);
|
||||||
|
current = previousNodes.get(current);
|
||||||
|
}
|
||||||
|
|
||||||
|
return reversePath;
|
||||||
|
}
|
||||||
|
|
||||||
|
public double computePageRank(final String nodeId, final double d) {
|
||||||
|
final Node node = nodes.get(nodeId);
|
||||||
|
if (node == null) {
|
||||||
|
return 0.0;
|
||||||
|
}
|
||||||
|
|
||||||
|
return pageRanks.getOrDefault(node, 0.0);
|
||||||
|
}
|
||||||
|
|
||||||
|
public List<String> randomWalk() {
|
||||||
|
final var path = new ArrayList<String>();
|
||||||
|
if (nodes.isEmpty()) {
|
||||||
|
return path;
|
||||||
|
}
|
||||||
|
|
||||||
|
final var random = new Random();
|
||||||
|
final var nodeIds = new ArrayList<>(nodes.keySet());
|
||||||
|
final String startNodeId = nodeIds.get(random.nextInt(nodeIds.size()));
|
||||||
|
path.add(startNodeId);
|
||||||
|
|
||||||
|
final var usedEdges = new HashMap<String, Integer>();
|
||||||
|
var currentNode = nodes.get(startNodeId);
|
||||||
|
while (true) {
|
||||||
|
final var availableEdge = new ArrayList<Map.Entry<Node, Integer>>();
|
||||||
|
int totalWeight = 0;
|
||||||
|
for (final var entry : currentNode.edges.entrySet()) {
|
||||||
|
final String edgeKey = currentNode.id + " -> " + entry.getKey().id;
|
||||||
|
if (usedEdges.getOrDefault(edgeKey, 0) < 2) {
|
||||||
|
availableEdge.add(entry);
|
||||||
|
totalWeight += entry.getValue();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if (availableEdge.isEmpty()) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
final double randomValue = random.nextDouble() * totalWeight;
|
||||||
|
double cumulative = 0.0;
|
||||||
|
Node nextNode = null;
|
||||||
|
|
||||||
|
for (final var entry : availableEdge) {
|
||||||
|
cumulative += entry.getValue();
|
||||||
|
if (randomValue < cumulative) {
|
||||||
|
nextNode = entry.getKey();
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
assert nextNode != null;
|
||||||
|
final String edgeKey = currentNode.id + " -> " + nextNode.id;
|
||||||
|
final int edgeTimes = usedEdges.getOrDefault(edgeKey, 0) + 1;
|
||||||
|
usedEdges.put(edgeKey, edgeTimes);
|
||||||
|
path.add(nextNode.id);
|
||||||
|
currentNode = nextNode;
|
||||||
|
|
||||||
|
if (edgeTimes >= 2) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return path;
|
||||||
|
}
|
||||||
|
|
||||||
|
public String toDOT(final Function<EdgeRecord, String> callback) {
|
||||||
|
final var sb = new StringBuilder();
|
||||||
|
sb.append("digraph G {\n");
|
||||||
|
for (final Node node : nodes.values()) {
|
||||||
|
for (final String edge : node.getDOTEdges(callback)) {
|
||||||
|
sb.append(" ").append(edge);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
sb.append("}");
|
||||||
|
return sb.toString();
|
||||||
|
}
|
||||||
|
|
||||||
|
public String toDOT() {
|
||||||
|
final var sb = new StringBuilder();
|
||||||
|
sb.append("digraph G {\n");
|
||||||
|
for (final Node node : nodes.values()) {
|
||||||
|
for (final String edge : node.getDOTEdges()) {
|
||||||
|
sb.append(" ").append(edge).append("\n");
|
||||||
|
}
|
||||||
|
}
|
||||||
|
sb.append("}");
|
||||||
|
return sb.toString();
|
||||||
|
}
|
||||||
|
|
||||||
|
private void parse(final String input) {
|
||||||
|
final String[] tokens = input.toLowerCase(Locale.ENGLISH).split("[ \n\r]+");
|
||||||
|
final var words = new ArrayList<String>();
|
||||||
|
|
||||||
|
for (final var token : tokens) {
|
||||||
|
final String word = token.replaceAll("[^a-zA-Z]", "");
|
||||||
|
if (!word.isEmpty()) {
|
||||||
|
words.add(word);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
for (int i = 0; i < words.size() - 1; i++) {
|
||||||
|
final String currentWord = words.get(i);
|
||||||
|
final String nextWord = words.get(i + 1);
|
||||||
|
|
||||||
|
final Node currentNode = getOrCreateNode(currentWord);
|
||||||
|
final Node nextNode = getOrCreateNode(nextWord);
|
||||||
|
|
||||||
|
currentNode.addEdge(nextNode);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
private Node getOrCreateNode(final String word) {
|
||||||
|
return nodes.computeIfAbsent(word, Node::new);
|
||||||
|
}
|
||||||
|
|
||||||
|
private void initRageRanks(final double d) {
|
||||||
|
final int totalNodes = nodes.size();
|
||||||
|
if (totalNodes == 0) {
|
||||||
|
pageRanks = new HashMap<>();
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
var myPageRanks = new HashMap<Node, Double>();
|
||||||
|
final double initRank = 1.0 / totalNodes;
|
||||||
|
for (final var n : nodes.values()) {
|
||||||
|
myPageRanks.put(n, initRank);
|
||||||
|
}
|
||||||
|
|
||||||
|
final int iterations = 100;
|
||||||
|
for (int i = 0; i < iterations; i++) {
|
||||||
|
final var newPageRanks = new HashMap<Node, Double>();
|
||||||
|
nodes.values().forEach(n -> newPageRanks.put(n, 0.0));
|
||||||
|
for (final var curr : nodes.values()) {
|
||||||
|
final int totalEdges = curr.edges.size();
|
||||||
|
|
||||||
|
for (final var entry : curr.edges.entrySet()) {
|
||||||
|
final Node neighbor = entry.getKey();
|
||||||
|
final double contribution = myPageRanks.get(curr) / totalEdges;
|
||||||
|
newPageRanks.put(neighbor, newPageRanks.get(neighbor) + contribution);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
final double damplingTerm = (1.0 - d) / totalNodes;
|
||||||
|
nodes.values().forEach(n -> newPageRanks.put(n, damplingTerm + d * newPageRanks.get(n)));
|
||||||
|
myPageRanks = newPageRanks;
|
||||||
|
}
|
||||||
|
|
||||||
|
pageRanks = myPageRanks;
|
||||||
|
for (final var node : nodes.values()) {
|
||||||
|
if (node.edges.isEmpty()) {
|
||||||
|
nodes.values().stream().filter(n -> !n.equals(node))
|
||||||
|
.forEach(n -> pageRanks.put(n, pageRanks.get(n) + pageRanks.get(node) / (totalNodes - 1)));
|
||||||
|
pageRanks.put(node, 0.0);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
0
app/src/test/java/fun/youthlic/GraphTest.java
Normal file
0
app/src/test/java/fun/youthlic/GraphTest.java
Normal file
60
flake.lock
generated
Normal file
60
flake.lock
generated
Normal file
|
|
@ -0,0 +1,60 @@
|
||||||
|
{
|
||||||
|
"nodes": {
|
||||||
|
"flake-utils": {
|
||||||
|
"inputs": {
|
||||||
|
"systems": "systems"
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1731533236,
|
||||||
|
"narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "flake-utils",
|
||||||
|
"rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"id": "flake-utils",
|
||||||
|
"type": "indirect"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"nixpkgs": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1745377448,
|
||||||
|
"narHash": "sha256-jhZDfXVKdD7TSEGgzFJQvEEZ2K65UMiqW5YJ2aIqxMA=",
|
||||||
|
"owner": "NixOS",
|
||||||
|
"repo": "nixpkgs",
|
||||||
|
"rev": "507b63021ada5fee621b6ca371c4fca9ca46f52c",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "NixOS",
|
||||||
|
"ref": "nixpkgs-unstable",
|
||||||
|
"repo": "nixpkgs",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"root": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-utils": "flake-utils",
|
||||||
|
"nixpkgs": "nixpkgs"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"systems": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1681028828,
|
||||||
|
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
||||||
|
"owner": "nix-systems",
|
||||||
|
"repo": "default",
|
||||||
|
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nix-systems",
|
||||||
|
"repo": "default",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"root": "root",
|
||||||
|
"version": 7
|
||||||
|
}
|
||||||
33
flake.nix
Normal file
33
flake.nix
Normal file
|
|
@ -0,0 +1,33 @@
|
||||||
|
{
|
||||||
|
inputs = {
|
||||||
|
nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
|
||||||
|
};
|
||||||
|
outputs = {
|
||||||
|
nixpkgs,
|
||||||
|
flake-utils,
|
||||||
|
...
|
||||||
|
}:
|
||||||
|
flake-utils.lib.eachDefaultSystem (
|
||||||
|
system: let
|
||||||
|
pkgs = import nixpkgs {
|
||||||
|
inherit system;
|
||||||
|
config = {
|
||||||
|
supportCuda = true;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
in {
|
||||||
|
devShells.default = pkgs.mkShell {
|
||||||
|
packages = with pkgs; [
|
||||||
|
jdk
|
||||||
|
gradle
|
||||||
|
kotlin-language-server
|
||||||
|
ktfmt
|
||||||
|
jdt-language-server
|
||||||
|
|
||||||
|
graph-easy
|
||||||
|
graphviz
|
||||||
|
];
|
||||||
|
};
|
||||||
|
}
|
||||||
|
);
|
||||||
|
}
|
||||||
5
gradle.properties
Normal file
5
gradle.properties
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
# This file was generated by the Gradle 'init' task.
|
||||||
|
# https://docs.gradle.org/current/userguide/build_environment.html#sec:gradle_configuration_properties
|
||||||
|
|
||||||
|
org.gradle.configuration-cache=true
|
||||||
|
|
||||||
10
gradle/libs.versions.toml
Normal file
10
gradle/libs.versions.toml
Normal file
|
|
@ -0,0 +1,10 @@
|
||||||
|
# This file was generated by the Gradle 'init' task.
|
||||||
|
# https://docs.gradle.org/current/userguide/platforms.html#sub::toml-dependencies-format
|
||||||
|
|
||||||
|
[versions]
|
||||||
|
guava = "33.3.1-jre"
|
||||||
|
junit-jupiter = "5.11.3"
|
||||||
|
|
||||||
|
[libraries]
|
||||||
|
guava = { module = "com.google.guava:guava", version.ref = "guava" }
|
||||||
|
junit-jupiter = { module = "org.junit.jupiter:junit-jupiter", version.ref = "junit-jupiter" }
|
||||||
BIN
gradle/wrapper/gradle-wrapper.jar
vendored
Normal file
BIN
gradle/wrapper/gradle-wrapper.jar
vendored
Normal file
Binary file not shown.
7
gradle/wrapper/gradle-wrapper.properties
vendored
Normal file
7
gradle/wrapper/gradle-wrapper.properties
vendored
Normal file
|
|
@ -0,0 +1,7 @@
|
||||||
|
distributionBase=GRADLE_USER_HOME
|
||||||
|
distributionPath=wrapper/dists
|
||||||
|
distributionUrl=https\://services.gradle.org/distributions/gradle-8.13-bin.zip
|
||||||
|
networkTimeout=10000
|
||||||
|
validateDistributionUrl=true
|
||||||
|
zipStoreBase=GRADLE_USER_HOME
|
||||||
|
zipStorePath=wrapper/dists
|
||||||
251
gradlew
vendored
Executable file
251
gradlew
vendored
Executable file
|
|
@ -0,0 +1,251 @@
|
||||||
|
#!/bin/sh
|
||||||
|
|
||||||
|
#
|
||||||
|
# Copyright © 2015-2021 the original authors.
|
||||||
|
#
|
||||||
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
# you may not use this file except in compliance with the License.
|
||||||
|
# You may obtain a copy of the License at
|
||||||
|
#
|
||||||
|
# https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
#
|
||||||
|
# Unless required by applicable law or agreed to in writing, software
|
||||||
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
# See the License for the specific language governing permissions and
|
||||||
|
# limitations under the License.
|
||||||
|
#
|
||||||
|
# SPDX-License-Identifier: Apache-2.0
|
||||||
|
#
|
||||||
|
|
||||||
|
##############################################################################
|
||||||
|
#
|
||||||
|
# Gradle start up script for POSIX generated by Gradle.
|
||||||
|
#
|
||||||
|
# Important for running:
|
||||||
|
#
|
||||||
|
# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
|
||||||
|
# noncompliant, but you have some other compliant shell such as ksh or
|
||||||
|
# bash, then to run this script, type that shell name before the whole
|
||||||
|
# command line, like:
|
||||||
|
#
|
||||||
|
# ksh Gradle
|
||||||
|
#
|
||||||
|
# Busybox and similar reduced shells will NOT work, because this script
|
||||||
|
# requires all of these POSIX shell features:
|
||||||
|
# * functions;
|
||||||
|
# * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
|
||||||
|
# «${var#prefix}», «${var%suffix}», and «$( cmd )»;
|
||||||
|
# * compound commands having a testable exit status, especially «case»;
|
||||||
|
# * various built-in commands including «command», «set», and «ulimit».
|
||||||
|
#
|
||||||
|
# Important for patching:
|
||||||
|
#
|
||||||
|
# (2) This script targets any POSIX shell, so it avoids extensions provided
|
||||||
|
# by Bash, Ksh, etc; in particular arrays are avoided.
|
||||||
|
#
|
||||||
|
# The "traditional" practice of packing multiple parameters into a
|
||||||
|
# space-separated string is a well documented source of bugs and security
|
||||||
|
# problems, so this is (mostly) avoided, by progressively accumulating
|
||||||
|
# options in "$@", and eventually passing that to Java.
|
||||||
|
#
|
||||||
|
# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
|
||||||
|
# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly;
|
||||||
|
# see the in-line comments for details.
|
||||||
|
#
|
||||||
|
# There are tweaks for specific operating systems such as AIX, CygWin,
|
||||||
|
# Darwin, MinGW, and NonStop.
|
||||||
|
#
|
||||||
|
# (3) This script is generated from the Groovy template
|
||||||
|
# https://github.com/gradle/gradle/blob/HEAD/platforms/jvm/plugins-application/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
|
||||||
|
# within the Gradle project.
|
||||||
|
#
|
||||||
|
# You can find Gradle at https://github.com/gradle/gradle/.
|
||||||
|
#
|
||||||
|
##############################################################################
|
||||||
|
|
||||||
|
# Attempt to set APP_HOME
|
||||||
|
|
||||||
|
# Resolve links: $0 may be a link
|
||||||
|
app_path=$0
|
||||||
|
|
||||||
|
# Need this for daisy-chained symlinks.
|
||||||
|
while
|
||||||
|
APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path
|
||||||
|
[ -h "$app_path" ]
|
||||||
|
do
|
||||||
|
ls=$( ls -ld "$app_path" )
|
||||||
|
link=${ls#*' -> '}
|
||||||
|
case $link in #(
|
||||||
|
/*) app_path=$link ;; #(
|
||||||
|
*) app_path=$APP_HOME$link ;;
|
||||||
|
esac
|
||||||
|
done
|
||||||
|
|
||||||
|
# This is normally unused
|
||||||
|
# shellcheck disable=SC2034
|
||||||
|
APP_BASE_NAME=${0##*/}
|
||||||
|
# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
|
||||||
|
APP_HOME=$( cd -P "${APP_HOME:-./}" > /dev/null && printf '%s\n' "$PWD" ) || exit
|
||||||
|
|
||||||
|
# Use the maximum available, or set MAX_FD != -1 to use that value.
|
||||||
|
MAX_FD=maximum
|
||||||
|
|
||||||
|
warn () {
|
||||||
|
echo "$*"
|
||||||
|
} >&2
|
||||||
|
|
||||||
|
die () {
|
||||||
|
echo
|
||||||
|
echo "$*"
|
||||||
|
echo
|
||||||
|
exit 1
|
||||||
|
} >&2
|
||||||
|
|
||||||
|
# OS specific support (must be 'true' or 'false').
|
||||||
|
cygwin=false
|
||||||
|
msys=false
|
||||||
|
darwin=false
|
||||||
|
nonstop=false
|
||||||
|
case "$( uname )" in #(
|
||||||
|
CYGWIN* ) cygwin=true ;; #(
|
||||||
|
Darwin* ) darwin=true ;; #(
|
||||||
|
MSYS* | MINGW* ) msys=true ;; #(
|
||||||
|
NONSTOP* ) nonstop=true ;;
|
||||||
|
esac
|
||||||
|
|
||||||
|
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
|
||||||
|
|
||||||
|
|
||||||
|
# Determine the Java command to use to start the JVM.
|
||||||
|
if [ -n "$JAVA_HOME" ] ; then
|
||||||
|
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
|
||||||
|
# IBM's JDK on AIX uses strange locations for the executables
|
||||||
|
JAVACMD=$JAVA_HOME/jre/sh/java
|
||||||
|
else
|
||||||
|
JAVACMD=$JAVA_HOME/bin/java
|
||||||
|
fi
|
||||||
|
if [ ! -x "$JAVACMD" ] ; then
|
||||||
|
die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
|
||||||
|
|
||||||
|
Please set the JAVA_HOME variable in your environment to match the
|
||||||
|
location of your Java installation."
|
||||||
|
fi
|
||||||
|
else
|
||||||
|
JAVACMD=java
|
||||||
|
if ! command -v java >/dev/null 2>&1
|
||||||
|
then
|
||||||
|
die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
|
||||||
|
|
||||||
|
Please set the JAVA_HOME variable in your environment to match the
|
||||||
|
location of your Java installation."
|
||||||
|
fi
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Increase the maximum file descriptors if we can.
|
||||||
|
if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
|
||||||
|
case $MAX_FD in #(
|
||||||
|
max*)
|
||||||
|
# In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
|
||||||
|
# shellcheck disable=SC2039,SC3045
|
||||||
|
MAX_FD=$( ulimit -H -n ) ||
|
||||||
|
warn "Could not query maximum file descriptor limit"
|
||||||
|
esac
|
||||||
|
case $MAX_FD in #(
|
||||||
|
'' | soft) :;; #(
|
||||||
|
*)
|
||||||
|
# In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
|
||||||
|
# shellcheck disable=SC2039,SC3045
|
||||||
|
ulimit -n "$MAX_FD" ||
|
||||||
|
warn "Could not set maximum file descriptor limit to $MAX_FD"
|
||||||
|
esac
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Collect all arguments for the java command, stacking in reverse order:
|
||||||
|
# * args from the command line
|
||||||
|
# * the main class name
|
||||||
|
# * -classpath
|
||||||
|
# * -D...appname settings
|
||||||
|
# * --module-path (only if needed)
|
||||||
|
# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables.
|
||||||
|
|
||||||
|
# For Cygwin or MSYS, switch paths to Windows format before running java
|
||||||
|
if "$cygwin" || "$msys" ; then
|
||||||
|
APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
|
||||||
|
CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
|
||||||
|
|
||||||
|
JAVACMD=$( cygpath --unix "$JAVACMD" )
|
||||||
|
|
||||||
|
# Now convert the arguments - kludge to limit ourselves to /bin/sh
|
||||||
|
for arg do
|
||||||
|
if
|
||||||
|
case $arg in #(
|
||||||
|
-*) false ;; # don't mess with options #(
|
||||||
|
/?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath
|
||||||
|
[ -e "$t" ] ;; #(
|
||||||
|
*) false ;;
|
||||||
|
esac
|
||||||
|
then
|
||||||
|
arg=$( cygpath --path --ignore --mixed "$arg" )
|
||||||
|
fi
|
||||||
|
# Roll the args list around exactly as many times as the number of
|
||||||
|
# args, so each arg winds up back in the position where it started, but
|
||||||
|
# possibly modified.
|
||||||
|
#
|
||||||
|
# NB: a `for` loop captures its iteration list before it begins, so
|
||||||
|
# changing the positional parameters here affects neither the number of
|
||||||
|
# iterations, nor the values presented in `arg`.
|
||||||
|
shift # remove old arg
|
||||||
|
set -- "$@" "$arg" # push replacement arg
|
||||||
|
done
|
||||||
|
fi
|
||||||
|
|
||||||
|
|
||||||
|
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||||
|
DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
|
||||||
|
|
||||||
|
# Collect all arguments for the java command:
|
||||||
|
# * DEFAULT_JVM_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments,
|
||||||
|
# and any embedded shellness will be escaped.
|
||||||
|
# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be
|
||||||
|
# treated as '${Hostname}' itself on the command line.
|
||||||
|
|
||||||
|
set -- \
|
||||||
|
"-Dorg.gradle.appname=$APP_BASE_NAME" \
|
||||||
|
-classpath "$CLASSPATH" \
|
||||||
|
org.gradle.wrapper.GradleWrapperMain \
|
||||||
|
"$@"
|
||||||
|
|
||||||
|
# Stop when "xargs" is not available.
|
||||||
|
if ! command -v xargs >/dev/null 2>&1
|
||||||
|
then
|
||||||
|
die "xargs is not available"
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Use "xargs" to parse quoted args.
|
||||||
|
#
|
||||||
|
# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
|
||||||
|
#
|
||||||
|
# In Bash we could simply go:
|
||||||
|
#
|
||||||
|
# readarray ARGS < <( xargs -n1 <<<"$var" ) &&
|
||||||
|
# set -- "${ARGS[@]}" "$@"
|
||||||
|
#
|
||||||
|
# but POSIX shell has neither arrays nor command substitution, so instead we
|
||||||
|
# post-process each arg (as a line of input to sed) to backslash-escape any
|
||||||
|
# character that might be a shell metacharacter, then use eval to reverse
|
||||||
|
# that process (while maintaining the separation between arguments), and wrap
|
||||||
|
# the whole thing up as a single "set" statement.
|
||||||
|
#
|
||||||
|
# This will of course break if any of these variables contains a newline or
|
||||||
|
# an unmatched quote.
|
||||||
|
#
|
||||||
|
|
||||||
|
eval "set -- $(
|
||||||
|
printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" |
|
||||||
|
xargs -n1 |
|
||||||
|
sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
|
||||||
|
tr '\n' ' '
|
||||||
|
)" '"$@"'
|
||||||
|
|
||||||
|
exec "$JAVACMD" "$@"
|
||||||
94
gradlew.bat
vendored
Normal file
94
gradlew.bat
vendored
Normal file
|
|
@ -0,0 +1,94 @@
|
||||||
|
@rem
|
||||||
|
@rem Copyright 2015 the original author or authors.
|
||||||
|
@rem
|
||||||
|
@rem Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
@rem you may not use this file except in compliance with the License.
|
||||||
|
@rem You may obtain a copy of the License at
|
||||||
|
@rem
|
||||||
|
@rem https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
@rem
|
||||||
|
@rem Unless required by applicable law or agreed to in writing, software
|
||||||
|
@rem distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
@rem See the License for the specific language governing permissions and
|
||||||
|
@rem limitations under the License.
|
||||||
|
@rem
|
||||||
|
@rem SPDX-License-Identifier: Apache-2.0
|
||||||
|
@rem
|
||||||
|
|
||||||
|
@if "%DEBUG%"=="" @echo off
|
||||||
|
@rem ##########################################################################
|
||||||
|
@rem
|
||||||
|
@rem Gradle startup script for Windows
|
||||||
|
@rem
|
||||||
|
@rem ##########################################################################
|
||||||
|
|
||||||
|
@rem Set local scope for the variables with windows NT shell
|
||||||
|
if "%OS%"=="Windows_NT" setlocal
|
||||||
|
|
||||||
|
set DIRNAME=%~dp0
|
||||||
|
if "%DIRNAME%"=="" set DIRNAME=.
|
||||||
|
@rem This is normally unused
|
||||||
|
set APP_BASE_NAME=%~n0
|
||||||
|
set APP_HOME=%DIRNAME%
|
||||||
|
|
||||||
|
@rem Resolve any "." and ".." in APP_HOME to make it shorter.
|
||||||
|
for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
|
||||||
|
|
||||||
|
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
|
||||||
|
set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
|
||||||
|
|
||||||
|
@rem Find java.exe
|
||||||
|
if defined JAVA_HOME goto findJavaFromJavaHome
|
||||||
|
|
||||||
|
set JAVA_EXE=java.exe
|
||||||
|
%JAVA_EXE% -version >NUL 2>&1
|
||||||
|
if %ERRORLEVEL% equ 0 goto execute
|
||||||
|
|
||||||
|
echo. 1>&2
|
||||||
|
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2
|
||||||
|
echo. 1>&2
|
||||||
|
echo Please set the JAVA_HOME variable in your environment to match the 1>&2
|
||||||
|
echo location of your Java installation. 1>&2
|
||||||
|
|
||||||
|
goto fail
|
||||||
|
|
||||||
|
:findJavaFromJavaHome
|
||||||
|
set JAVA_HOME=%JAVA_HOME:"=%
|
||||||
|
set JAVA_EXE=%JAVA_HOME%/bin/java.exe
|
||||||
|
|
||||||
|
if exist "%JAVA_EXE%" goto execute
|
||||||
|
|
||||||
|
echo. 1>&2
|
||||||
|
echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2
|
||||||
|
echo. 1>&2
|
||||||
|
echo Please set the JAVA_HOME variable in your environment to match the 1>&2
|
||||||
|
echo location of your Java installation. 1>&2
|
||||||
|
|
||||||
|
goto fail
|
||||||
|
|
||||||
|
:execute
|
||||||
|
@rem Setup the command line
|
||||||
|
|
||||||
|
set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
|
||||||
|
|
||||||
|
|
||||||
|
@rem Execute Gradle
|
||||||
|
"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
|
||||||
|
|
||||||
|
:end
|
||||||
|
@rem End local scope for the variables with windows NT shell
|
||||||
|
if %ERRORLEVEL% equ 0 goto mainEnd
|
||||||
|
|
||||||
|
:fail
|
||||||
|
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
|
||||||
|
rem the _cmd.exe /c_ return code!
|
||||||
|
set EXIT_CODE=%ERRORLEVEL%
|
||||||
|
if %EXIT_CODE% equ 0 set EXIT_CODE=1
|
||||||
|
if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE%
|
||||||
|
exit /b %EXIT_CODE%
|
||||||
|
|
||||||
|
:mainEnd
|
||||||
|
if "%OS%"=="Windows_NT" endlocal
|
||||||
|
|
||||||
|
:omega
|
||||||
14
settings.gradle.kts
Normal file
14
settings.gradle.kts
Normal file
|
|
@ -0,0 +1,14 @@
|
||||||
|
/*
|
||||||
|
* This file was generated by the Gradle 'init' task.
|
||||||
|
*
|
||||||
|
* The settings file is used to specify which projects to include in your build.
|
||||||
|
* For more detailed information on multi-project builds, please refer to https://docs.gradle.org/8.13/userguide/multi_project_builds.html in the Gradle documentation.
|
||||||
|
*/
|
||||||
|
|
||||||
|
plugins {
|
||||||
|
// Apply the foojay-resolver plugin to allow automatic download of JDKs
|
||||||
|
id("org.gradle.toolchains.foojay-resolver-convention") version "0.9.0"
|
||||||
|
}
|
||||||
|
|
||||||
|
rootProject.name = "lab1"
|
||||||
|
include("app")
|
||||||
Loading…
Add table
Add a link
Reference in a new issue