【原】Web Polygraph 安装
1.下载 # wget http://www.web-polygraph.org/downloads/srcs/polygraph-4.3.2-src.tgz 2.解压 # tar zxvf polygraph-4.3.2-src.tgz # cd polygraph-4.3.2 3.安装兼容包 # yum install gcc* -y 4.解释并安装 # ./configure # make && make install
Python中如何修改文件
把原文件内容和要修改的内容写到新文件中进行存储的方式 import os
def alter(file, old_str, new_str):
'''
将替换的字符串写到一个新的文件中，然后将原文件删除，新文件改为原文件的名字
:param file:文件路径
:param old_str:需要替换的字符串
:param new_str:替换的字符串
:return: None
'''
with open(file, 'r', e
面向对象(反射,元类) 排序方法
1.反射(reflect) 1.概念: 反射指的是一个对象应该具备可以检测修改增加自身属性的能力,反射就是通过字符串操作属性 2 反射设计4个函数 1.hasattr 判断对象中是不是又name属性,第一个参数是对象,第二个是属性 2.gerattr 获取对象属性,第一个为对象,第二是属性,第三个可以设置不存在后返回的提示信息 语法:getattr(object, name, default=None) 3.setattr 为对象添加属性.第一个为对
7.30 Test——Math Theory 2
T1: 1 难题 1.1 Description 珈百璃正在看 ZJOI 2018 的一道题“线图”。 对于无向图G = (V, E)，它的线图L(G)也是一个无向图： 它的点集大小为|E|，每个点唯一对应着原图的一条边。 两个点之间有边当且仅当这两个点对应的边在原图上有公共点（注意不会有自环）。 ZJOI 那道题要对一棵树G 求L(L(L(L(L(L(L(L(L(G)))))))))的点数， 这对九条可怜很简单，但对珈百璃太难了，于是珈百璃打算先解决一个更简单的问题： 对一棵
算法学习：计算几何旋转卡壳
【定义】 【对踵点】多边形上存在平行切线的两点 【多边形半径】多边形上任意两点的最大长度 【旋转卡壳】 选取y轴上，最高和最低的两个点，令两条平行于x轴的线切过这两点 然后我们开始让这两条线旋转 当一条线首先和多边形上一条线段平行时，另外一条边也会停止旋转 这个时候，就需要通过叉乘来判断现在取得对点是否符合要求 即，拥有平行的切线 此处我们用另外一种方法来找到，当前点所对应的最远点（向量的证明还不会QAQ） 确定一条边，然后按逆时针求这个点和这条边组成的三角形的面积 当这个面积最大时，这个点就
git diff/difftool
参考好文：使用命令和P4Merge进行diff：：https://www.cnblogs.com/cgzl/p/8597066.html git difftool 即可弹出比较工具的界面 哈哈 =========================== 本地区域 git diff/difftool filepath 不带任何命令参数，工作区(本地文件)与暂存区比较,后面不带filepath的话，比较所有不同。Filepath可以时文件名子或文件夹。 git diff/difftool HEAD f
【python学习】字符串相关
# -*- coding: utf-8 -*-
# =============================================================================
# Ctrl + 1: 注释/反注释
#
# Ctrl + 4/5: 块注释/块反注释
#
# Ctrl + L: 跳转到行号
#
# Tab/Shift + Tab: 代码缩进/反缩进
# =====================================
Java并发系列-深入Jvm理解Thread启动流程
前言 近期整理笔记想开个专题，准备从并发入手。并发这块又从哪里入手，一开始想的是AQS，偶然间看到自己之前编译调试openjdk的时候整理的一些笔记，又有了新的想法，决定先从最基础的开始，并发这块脱离不了线程，那么我们就结合jdk,hotspot探究一下线程的来龙去脉。 线程的定义：程序运行的最小单元，被包含在进程中。 Java中的线程 class Thread implements Runnable {
/* Make sure registerNatives is the firs
c# 自定义验证登录（Authorize）
我们的项目本来是用azure的auth认证，是用过程中发现登录速度太慢了，所以还是自己搞一个吧，没想到搞起来挺简单的，不是用一个专门的认证服务器哈，就是一个简单的工具类。 验证是否登录的类 /// <summary>
/// 认证类继承
/// </summary>
public class RequestAuthorizeAttribute : AuthorizeAttribute
{
public override void
【0729作业】随机生成20个手机号码
需求：随机生成二十个手机号码 1 package com.random;
2
3 import java.util.Scanner;
4
5 public class Phone {
6 static Scanner sc = new Scanner(System.in);
7 public static void getPhoneNum() {
8 //设置手机号初始前三位
9 String[] Top3
Flask-SQLAlchemy 与 SQL Alchemy 的区别、联系
目录 一、SQL Alchemy 1. SQL Alchemy 基本操作 1.1 连接数据库 1.2 声明映射（建立数据库表的模型） 1.3 创建映射类的实例 1.4 创建会话 1.5 单表的增删改查 2. SQL Alchemy之（一对多）（多对多） 二、Flask-SQLAlchemy 1. Flask-SQLAlchemy基本操作 1.1 一个简单的示例： 1.2 简单的增删改查 2. Flask-SQLAlchemy的（一对多）（多对多） 2.1 一对多(one-to-many)关系
python--01day
print('Hello world') # 单行省略 “”“ ”“” 多行省略 注：当6引号给予变量的时候，即变成字符串 sed（‘ ’） 输出以什么分割 end（‘ ’） 输出以什么结尾 print('{} 你真丑'.format(input())) 输入 胡旺 输出 胡旺 你真丑 ord（）：将字符串转化为ASCII chr（）：与上相反 例题 给邮箱加密 email = input('Input Your Email:')
for i in email:
#拿出当前的A
classpath路径到底指的哪里
在maven项目中指的就是resource，直接上图，如下： classpath*:spring/webContext.xml classpath:logback.xml 在不是maven的项目中指的是WEN_INF/classes classpath：和classpath*： classpath 和 classpath* 区别： classpath：只会到你的class路径中查找找文件; classpath*：不仅包含class路径，还包括jar文件中(class路径)进行查找. 可见详细解
Luogu2798 爆弹虐场 （二分，Kruskal）
二分答案，判定连通性 #include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#define R(a,b,c) for(register int a = (b); a <= (c); ++ a)
#define nR(a,b,c) for(register int a = (b); a >= (c); -- a)
#define Max(a,b) ((a)
洛谷$P3756\ [CQOI2017]$老C的方块 网络流
正解:网络流 解题报告: 传送门$QwQ$ 看到不能出现给定的讨厌的图形,简单来说就,特殊边两侧的方格不能同时再连方格. 所以如果出现,就相当于是四种方案?就分别炸四个格子. 然后冷静分析一波之后发现对于特殊边两侧的格子炸那个是没有影响的?于是这两个格子就只用选较小的一个炸就好,于是现在就变成了三种方案,可以考虑和之前做的那道,酒店之王,差不多的建图,$over$
今日推荐
周排行