Skip to content

Instantly share code, notes, and snippets.

View lectricas's full-sized avatar

alexey polusov lectricas

  • Saint-Petersburg
View GitHub Profile
@lectricas
lectricas / PropSolver.kt
Created July 1, 2022 10:48
prop solver
package main.com.company.solver
import kotlin.test.assertFalse
import kotlin.test.assertTrue
class PropositionSolver {
private var openBranches = 0
fun solve(test: Prop): Boolean {
#include <cstdio>
#include <cctype>
#include <string>
#include <iostream>
#include <vector>
#include <assert.h>
#include <algorithm>
#include <unordered_map>
#include <map>
#include <iostream>
#include <vector>
#include <string>
#include <unordered_map>
#include <sstream>
using namespace std;
string insert(string &input, unordered_map<int, string> &sorted) {
for (int i = 0; i < input.size(); i++) {
#include <iostream>
#include <vector>
using namespace std;
int main() {
int vertex_count;
cin >> vertex_count;
vector<vector<char>> matrix(vertex_count, vector<char>(vertex_count));
for (int i = 0; i < vertex_count; i++) {
//
// Created by apolyusov on 19.04.2021.
//
#include "solution.h"
Node *my_method(Node *root) {
if (root->right == nullptr) {
return root;
}
void print_range(Node *root, int L, int R) {
if (root == nullptr) {
return;
}
print_range(root->left, L, R);
if (root->value <= R && root->value >= L) {
cout << root->value << "\n";
}
print_range(root->right, L, R);
#include <string>
#include <iostream>
#include <sstream>
#include <cmath>
#include <vector>
using namespace std;
#define p 10
#define s 2654435769
#include <string>
#include <array>
#include <iostream>
#include <unordered_map>
#include <cassert>
#include <sstream>
using namespace std;
#include <iostream>
//
// Created by lectr on 24.03.2021.
//
#include <unordered_map>
#include <string>
int main() {
int n;
int main() {
std::string st1, st2;
getline(std::cin, st1);
getline(std::cin, st2);
std::unordered_map<char, char> map;
if (st1.length() != st2.length()) {
std::cout << "NO";
return 0;